L033entailment

The premises are:
  - o5 is orange
  - the cone all are yellow
  - axiom one colour per object
  - o3 is a cone
  - object o0
  - o5 is a disc
What conclusion o5 is yellow?

Las premisas son:
  - o5 es naranja
  - el cono todos son amarillo
  - el axioma: one es de color per objeto
  - o3 es un cono
  - objeto: o0
  - o5 es un disco
¿Qué la conclusión: o5 es amarillo?

前提如下：
  - o5是橙色的
  - 这个圆锥全都是黄色的
  - 公理：one颜色per物体
  - o3是一个圆锥
  - 物体：o0
  - o5是一个圆盘
结论：o5是黄色的什么？

Öncüller:
  - o5 turuncu
  - koni sarı bütün
  - axiom: one renk per nesne
  - o3 bir koni
  - nesne: o0
  - o5 bir disk
Conclusion: o5 sarı ne?

Misingi ni:
  - o5 ni chungwa
  - koni zote ni manjano
  - axiom: one rangi per kitu
  - o3 ni koni
  - kitu: o0
  - o5 ni duara
Conclusion: o5 ni manjano nini?

The premises are:
  - o5 is orange
  - the cone all are yellow
  - axiom one colour per object
  - o3 is a cone
  - object o0
  - o5 is a disc
What conclusion o5 is golden?

{premises: [(color o5 orange) (all_are cone yellow) (axiom (one_color_per_object)) (shape o3 cone) (object o0) (shape o5 disc)], query: (conclusion (color o5 yellow))}

Lokal:
  - o5 ist orange
  - der Kegel alle werden gelbe
  - Axiom eins Farbe je Gegenstand
  - o3 ist ein Kegel
  - Gegenstand o0
  - o5 ist ein Scheibe
Was Schluss o5 ist gelber?

Premises:
  - o5 би̏ти на̀ра̄нџаст
  - stožac са̏в би̏ти жу̑т
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o3 би̏ти stožac
  - објекат o0
  - o5 би̏ти диск
Conclusion o5 би̏ти жу̑т kakav?

Kiinteistö:
  - o5 on oranssi
  - kartio kaikki tulla keltainen
  - perusväite yksi väri per esine
  - o3 on kartio
  - esine o0
  - o5 on kiekko
Mikä päätös o5 on keltainen?

前提如下：
  - o5是橙色的
  - 这个圆锥全都是黄色的
  - 公理：one颜色per物体
  - o3是一个圆锥
  - 物体：o0
  - o5是一个圆盘
结论：o5是黄色的什么？

邸内:
  - o5オレンジ色のです
  - 松毬黄色い全てれる
  - 公理:一色毎物体
  - o3松毬です
  - 物体:o0
  - o5ディスクです
終わり:o5黄色いです何と?

Öncüller:
  - o5 turuncu
  - koni sarı bütün
  - axiom: one renk per nesne
  - o3 bir koni
  - nesne: o0
  - o5 bir disk
Conclusion: o5 sarı ne?

مُقَدِّمَة:
  - o5 بُرْتُقَالِيّ
  - كُلّ كَانَ الـ مَخْرُوط أَصْفَر
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o3 مَخْرُوط
  - عُرْضَة o0
  - o5 قُرْص
نَتِيجَة o5 أَصْفَر مَاذَا؟

Premises:
  - o5 ფორთოხალი ყოფნა
  - გირჩა ყვითელი ყველა ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - o3 გირჩა ყოფნა
  - საგანი o0
  - o5 დისკი ყოფნა
Conclusion o5 ყვითელი ყოფნა რა?

Premises:
  - o5 orange
  - all are te koeko kōwhai
  - axiom tahi kano per ahanoa
  - o3 koeko
  - ahanoa o0
  - o5 porotītiti
Whakamutunga o5 kōwhai unutai?

Tiền đề:
  - o5 là cam
  - nón mọi được yellow
  - chân lý một màu mỗi đồ vật
  - o3 là nón
  - đồ vật o0
  - o5 là đĩa
Kết thúc o5 là yellow gì?

ข้อตั้ง:
  - o5ถูกส้ม
  - กรวยทั้งหมดถูกเหลือง
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o3ถูกกรวย
  - วัตถุ:o0
  - o5ถูกดิสก์
ข้อสรุป:o5ถูกเหลืองอะไร?

premises:
  - o5 ஆரஞ்சு
  - cone மஞ்சள் எல்லா படு
  - axiom ஒன்று நிறம் per object
  - o3 cone
  - object o0
  - o5 disc
conclusion o5 மஞ்சள் என்ன?

Misingi ni:
  - o5 ni chungwa
  - koni zote ni manjano
  - axiom: one rangi per kitu
  - o3 ni koni
  - kitu: o0
  - o5 ni duara
Conclusion: o5 ni manjano nini?

Premises:
  - o5 chʼil łitsxooí átʼé
  - cone łitso tʼáá ałtso átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o3 cone átʼé
  - object o0
  - o5 disc átʼé
Ałtso bééʼdeetánígíí o5 łitso átʼé haʼátʼíísh?

Premises:
  - o5 appelsiina a
  - cone sungaaqeq all a
  - axiom ataaseq qalipaat per susaq
  - o3 cone a
  - susaq o0
  - o5 disc a
Conclusion o5 sungaaqeq a what?

Premises:
  - o5 orange
  - cone olgeta are yelopela
  - axiom wanpela kala per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yelopela what?

Premises:
  - o5 òlënchikte
  - cone all are wisae
  - axiom kwëti color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 wisae kwèch?

Premises:
  - o5 хила orange
  - cone all хила yellow
  - axiom one бос per object
  - o3 хила cone
  - object o0
  - o5 хила disc
Conclusion o5 хила yellow фу?

premises:
  - o5 주황색의
  - 솔방울 노란 모든 아르
  - 공리 하나 색깔 per object
  - o3 솔방울
  - object o0
  - o5 디스크
종결 o5 노란 무엇?

Premises:
  - o5 laranja dago
  - pinaburu hori oro izan
  - axiom bat kolore per object
  - o3 pinaburu bat dago
  - object o0
  - o5 disc bat dago
Conclusion o5 hori dago zer?

Premises:
  - o5 ᎣᏂᏥ
  - cone ᏂᎦᏛ are ᏓᎶᏁᎦ
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o3 cone
  - object o0
  - o5 disc
What conclusion o5 ᏓᎶᏁᎦ?

Premises:
  - o5 tiyay killmu
  - cone llapa tiyay gillu
  - axiom huk llimphi per kutipakuy
  - o3 tiyay cone
  - kutipakuy o0
  - o5 tiyay disc
Conclusion o5 tiyay gillu what?

Premises:
  - o5 orange
  - cone гъожьы all are
  - axiom зы color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 гъожьы сыд?

Premises:
  - o5 orange
  - cone all are daj
  - axiom ib xim per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 daj what?

Premises:
  - o5 orange
  - cone all are babedirreen
  - axiom ganbu color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 babedirreen ining-jak?

Premises:
  - o5 orange
  - cone bíyyi'ka are lakna
  - axiom chaffa color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 lakna nanta?

Premises:
  - o5 orange
  - cone yellow all are
  - axiom シネ color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom ыннен пэран per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 yan china
  - cone all yan yellow
  - axiom hun color per object
  - o3 yan cone
  - object o0
  - o5 yan disc
Conclusion o5 yan yellow what?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom one color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow híli?

Premises:
  - o5 orange
  - cone zí all are
  - axiom waŋží color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 zí what?

Premises:
  - o5 narã
  - cone mayma are yellow
  - axiom peteĩ color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone yellow all are
  - axiom maya sami per object
  - o3 maya cone
  - object o0
  - o5 maya disc
Conclusion o5 yellow what?

Premises:
  - o5 ǀîi orange
  - cone all ǀîi yellow
  - axiom one color per object
  - o3 ǀîi cone
  - object o0
  - o5 ǀîi disc
Conclusion o5 ǀîi yellow what?

Premises:
  - o5 orange
  - cone yellow all are
  - axiom нин вал per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom one color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone yellow all are
  - axiom koli color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom one color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 nemi orange
  - ne cone muchi nemi yellow
  - axiom se color per object
  - o3 nemi cone
  - object o0
  - o5 nemi disc
Conclusion o5 nemi yellow tay?

Local :
  - o5 est orange
  - le cône tout être jaune
  - axiome un couleur par objet
  - o3 est un cône
  - objet o0
  - o5 est un disque
Quoi conclusion o5 est jaune ?

Premises:
  - o5 egali oranĝa
  - strobilo ĉiuj egali flava
  - aksiomo unu koloro graŭ objekto
  - o3 egali strobilo
  - objekto o0
  - o5 egali disko
Konkludo o5 egali flava kio?

Birtok:
  - o5 narancssárga
  - a toboz minden van sárgát
  - axióma egy szín per tárgy
  - o3 toboz
  - tárgy o0
  - o5 lemez
Következtetés o5 sárga melyik?

premises:
  - o5是橙色
  - cone所有是黃
  - axiom:一色perobject
  - o3是一cone
  - object:o0
  - o5是一disc
conclusion:o5是黃乜嘢?

Premises:
  - o5 有ん orange
  - cone all 有ん 黄色
  - axiom 一 color per object
  - o3 有ん cone
  - object o0
  - o5 有ん disc
Conclusion o5 有ん 黄色 what?

Алғышарт:
  - o5 апельсин
  - бүршік all are сары
  - аксиома бір түс per объект
  - o3 бүршік
  - объект o0
  - o5 диск
Тұжырым o5 сары не?

הנחו:
  - o5 הוּא כתום
  - אצטרובל ה־ כֹּל הוא צָהֹב
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o3 הוּא אצטרובל אֶחָד
  - אוֹבְּיֶקְט o0
  - o5 הוּא דִּיסְק אֶחָד
איזה מסקנה o5 הוּא צָהֹב?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom one color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 adalah jingga
  - kerucut si semua berada kuning
  - aksioma satu warna per objek
  - o3 adalah kerucut
  - objek o0
  - o5 adalah cakram
Kesimpulan o5 adalah kuning apa?

premises:
  - o5ត្រូវបានពណ៌លឿង
  - កោណទាំងអស់ត្រូវបានលឿង
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o3ត្រូវបានកោណ
  - វត្ថុ:o0
  - o5ត្រូវបានដួង
conclusion:o5ត្រូវបានលឿងអី?

premises:
  - o5ຢູ່ສົ້ມ
  - coneallຢູ່ເຫຼືອງ
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o3ຢູ່cone
  - ອັນ:o0
  - o5ຢູ່ຈັກ
ສະຫຼຸບ:o5ຢູ່ເຫຼືອງຫຍັງ?

premises:
  - o5 నారింజచెట్టు ఉండు
  - cone పసుపు అందరూ ఉండు
  - axiom ఒకటి రంగు per object
  - o3 cone ఉండు
  - object o0
  - o5 disc ఉండు
conclusion o5 పసుపు ఉండు ఏమిటి?

Premises:
  - o5 wà bí ọsán
  - cone gbogbo wà àwo òdodo
  - axiom ọ̀kan color per object
  - o3 wà cone
  - object o0
  - o5 wà disc
What conclusion o5 wà àwo òdodo?

Premises:
  - o5 orange naiágúóli
  - cone łitsog all naiágúóli
  - axiom dałaá color per object
  - o3 cone naiágúóli
  - object o0
  - o5 disc naiágúóli
Conclusion o5 łitsog naiágúóli what?

premises:
  - o5 orange
  - cone all are yellow
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o3 cone
  - object o0
  - o5 disc
conclusion o5 yellow what?

Premises:
  - o5 alanya
  - cone all are geri
  - axiom wan color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 geri what?

Premises:
  - o5 orange
  - cone all are yellow
  - axiom náʼėstse color per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 yellow what?

Premises:
  - o5 orange
  - cone хъипи all are
  - axiom сад ранг per object
  - o3 cone
  - object o0
  - o5 disc
Conclusion o5 хъипи вуч?

The premises are:
  - o4 is a cube
  - axiom one colour per object
  - object o0
  - o4 is orange
  - the cone all are yellow
  - o1 is a cone
What conclusion o4 is yellow?

Las premisas son:
  - o4 es un cubo
  - el axioma: one es de color per objeto
  - objeto: o0
  - o4 es naranja
  - el cono todos son amarillo
  - o1 es un cono
¿Qué la conclusión: o4 es amarillo?

前提如下：
  - o4是一个立方体
  - 公理：one颜色per物体
  - 物体：o0
  - o4是橙色的
  - 这个圆锥全都是黄色的
  - o1是一个圆锥
结论：o4是黄色的什么？

Öncüller:
  - o4 bir küp
  - axiom: one renk per nesne
  - nesne: o0
  - o4 turuncu
  - koni sarı bütün
  - o1 bir koni
Conclusion: o4 sarı ne?

Misingi ni:
  - o4 ni mchemraba
  - axiom: one rangi per kitu
  - kitu: o0
  - o4 ni chungwa
  - koni zote ni manjano
  - o1 ni koni
Conclusion: o4 ni manjano nini?

The premises are:
  - o4 is a cube
  - axiom one colour per object
  - object o0
  - o4 is orange
  - the cone all are yellow
  - o1 is a cone
What conclusion o4 is golden?

{premises: [(shape o4 cube) (axiom (one_color_per_object)) (object o0) (color o4 orange) (all_are cone yellow) (shape o1 cone)], query: (conclusion (color o4 yellow))}

Lokal:
  - o4 ist ein Kubus
  - Axiom eins Farbe je Gegenstand
  - Gegenstand o0
  - o4 ist orange
  - der Kegel alle werden gelbe
  - o1 ist ein Kegel
Was Schluss o4 ist gelber?

Premises:
  - o4 би̏ти коцка
  - аксѝо̄м јѐдан бо̀ја per објекат
  - објекат o0
  - o4 би̏ти на̀ра̄нџаст
  - stožac са̏в би̏ти жу̑т
  - o1 би̏ти stožac
Conclusion o4 би̏ти жу̑т kakav?

Kiinteistö:
  - o4 on kuutio
  - perusväite yksi väri per esine
  - esine o0
  - o4 on oranssi
  - kartio kaikki tulla keltainen
  - o1 on kartio
Mikä päätös o4 on keltainen?

前提如下：
  - o4是一个立方体
  - 公理：one颜色per物体
  - 物体：o0
  - o4是橙色的
  - 这个圆锥全都是黄色的
  - o1是一个圆锥
结论：o4是黄色的什么？

邸内:
  - o4立方体です
  - 公理:一色毎物体
  - 物体:o0
  - o4オレンジ色のです
  - 松毬黄色い全てれる
  - o1松毬です
終わり:o4黄色いです何と?

Öncüller:
  - o4 bir küp
  - axiom: one renk per nesne
  - nesne: o0
  - o4 turuncu
  - koni sarı bütün
  - o1 bir koni
Conclusion: o4 sarı ne?

مُقَدِّمَة:
  - o4 كَعْبَة
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - عُرْضَة o0
  - o4 بُرْتُقَالِيّ
  - كُلّ كَانَ الـ مَخْرُوط أَصْفَر
  - o1 مَخْرُوط
نَتِيجَة o4 أَصْفَر مَاذَا؟

Premises:
  - o4 კუბი ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - საგანი o0
  - o4 ფორთოხალი ყოფნა
  - გირჩა ყვითელი ყველა ყოფნა
  - o1 გირჩა ყოფნა
Conclusion o4 ყვითელი ყოფნა რა?

Premises:
  - o4 mataono
  - axiom tahi kano per ahanoa
  - ahanoa o0
  - o4 orange
  - all are te koeko kōwhai
  - o1 koeko
Whakamutunga o4 kōwhai unutai?

Tiền đề:
  - o4 là lập phương
  - chân lý một màu mỗi đồ vật
  - đồ vật o0
  - o4 là cam
  - nón mọi được yellow
  - o1 là nón
Kết thúc o4 là yellow gì?

ข้อตั้ง:
  - o4ถูกลูกบาศก์
  - สัจพจน์:หนึ่งสีละวัตถุ
  - วัตถุ:o0
  - o4ถูกส้ม
  - กรวยทั้งหมดถูกเหลือง
  - o1ถูกกรวย
ข้อสรุป:o4ถูกเหลืองอะไร?

premises:
  - o4 cube
  - axiom ஒன்று நிறம் per object
  - object o0
  - o4 ஆரஞ்சு
  - cone மஞ்சள் எல்லா படு
  - o1 cone
conclusion o4 மஞ்சள் என்ன?

Misingi ni:
  - o4 ni mchemraba
  - axiom: one rangi per kitu
  - kitu: o0
  - o4 ni chungwa
  - koni zote ni manjano
  - o1 ni koni
Conclusion: o4 ni manjano nini?

Premises:
  - o4 cube átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - object o0
  - o4 chʼil łitsxooí átʼé
  - cone łitso tʼáá ałtso átʼé
  - o1 cone átʼé
Ałtso bééʼdeetánígíí o4 łitso átʼé haʼátʼíísh?

Premises:
  - o4 cube a
  - axiom ataaseq qalipaat per susaq
  - susaq o0
  - o4 appelsiina a
  - cone sungaaqeq all a
  - o1 cone a
Conclusion o4 sungaaqeq a what?

Premises:
  - o4 cube
  - axiom wanpela kala per object
  - object o0
  - o4 orange
  - cone olgeta are yelopela
  - o1 cone
Conclusion o4 yelopela what?

Premises:
  - o4 cube
  - axiom kwëti color per object
  - object o0
  - o4 òlënchikte
  - cone all are wisae
  - o1 cone
Conclusion o4 wisae kwèch?

Premises:
  - o4 хила cube
  - axiom one бос per object
  - object o0
  - o4 хила orange
  - cone all хила yellow
  - o1 хила cone
Conclusion o4 хила yellow фу?

premises:
  - o4 정육면체
  - 공리 하나 색깔 per object
  - object o0
  - o4 주황색의
  - 솔방울 노란 모든 아르
  - o1 솔방울
종결 o4 노란 무엇?

Premises:
  - o4 kubo bat dago
  - axiom bat kolore per object
  - object o0
  - o4 laranja dago
  - pinaburu hori oro izan
  - o1 pinaburu bat dago
Conclusion o4 hori dago zer?

Premises:
  - o4 cube
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - object o0
  - o4 ᎣᏂᏥ
  - cone ᏂᎦᏛ are ᏓᎶᏁᎦ
  - o1 cone
What conclusion o4 ᏓᎶᏁᎦ?

Premises:
  - o4 tiyay cube
  - axiom huk llimphi per kutipakuy
  - kutipakuy o0
  - o4 tiyay killmu
  - cone llapa tiyay gillu
  - o1 tiyay cone
Conclusion o4 tiyay gillu what?

Premises:
  - o4 cube
  - axiom зы color per object
  - object o0
  - o4 orange
  - cone гъожьы all are
  - o1 cone
Conclusion o4 гъожьы сыд?

Premises:
  - o4 cube
  - axiom ib xim per object
  - object o0
  - o4 orange
  - cone all are daj
  - o1 cone
Conclusion o4 daj what?

Premises:
  - o4 cube
  - axiom ganbu color per object
  - object o0
  - o4 orange
  - cone all are babedirreen
  - o1 cone
Conclusion o4 babedirreen ining-jak?

Premises:
  - o4 cube
  - axiom chaffa color per object
  - object o0
  - o4 orange
  - cone bíyyi'ka are lakna
  - o1 cone
Conclusion o4 lakna nanta?

Premises:
  - o4 cube
  - axiom シネ color per object
  - object o0
  - o4 orange
  - cone yellow all are
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom ыннен пэран per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 yan cube
  - axiom hun color per object
  - object o0
  - o4 yan china
  - cone all yan yellow
  - o1 yan cone
Conclusion o4 yan yellow what?

Premises:
  - o4 cube
  - axiom one color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow híli?

Premises:
  - o4 cube
  - axiom waŋží color per object
  - object o0
  - o4 orange
  - cone zí all are
  - o1 cone
Conclusion o4 zí what?

Premises:
  - o4 cube
  - axiom peteĩ color per object
  - object o0
  - o4 narã
  - cone mayma are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 maya cube
  - axiom maya sami per object
  - object o0
  - o4 orange
  - cone yellow all are
  - o1 maya cone
Conclusion o4 yellow what?

Premises:
  - o4 ǀîi cube
  - axiom one color per object
  - object o0
  - o4 ǀîi orange
  - cone all ǀîi yellow
  - o1 ǀîi cone
Conclusion o4 ǀîi yellow what?

Premises:
  - o4 cube
  - axiom нин вал per object
  - object o0
  - o4 orange
  - cone yellow all are
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom one color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom koli color per object
  - object o0
  - o4 orange
  - cone yellow all are
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom one color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 nemi cube
  - axiom se color per object
  - object o0
  - o4 nemi orange
  - ne cone muchi nemi yellow
  - o1 nemi cone
Conclusion o4 nemi yellow tay?

Local :
  - o4 est un cube
  - axiome un couleur par objet
  - objet o0
  - o4 est orange
  - le cône tout être jaune
  - o1 est un cône
Quoi conclusion o4 est jaune ?

Premises:
  - o4 egali kubo
  - aksiomo unu koloro graŭ objekto
  - objekto o0
  - o4 egali oranĝa
  - strobilo ĉiuj egali flava
  - o1 egali strobilo
Konkludo o4 egali flava kio?

Birtok:
  - o4 kocka
  - axióma egy szín per tárgy
  - tárgy o0
  - o4 narancssárga
  - a toboz minden van sárgát
  - o1 toboz
Következtetés o4 sárga melyik?

premises:
  - o4是一cube
  - axiom:一色perobject
  - object:o0
  - o4是橙色
  - cone所有是黃
  - o1是一cone
conclusion:o4是黃乜嘢?

Premises:
  - o4 有ん cube
  - axiom 一 color per object
  - object o0
  - o4 有ん orange
  - cone all 有ん 黄色
  - o1 有ん cone
Conclusion o4 有ん 黄色 what?

Алғышарт:
  - o4 куб
  - аксиома бір түс per объект
  - объект o0
  - o4 апельсин
  - бүршік all are сары
  - o1 бүршік
Тұжырым o4 сары не?

הנחו:
  - o4 הוּא קובייה אֶחָד
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - אוֹבְּיֶקְט o0
  - o4 הוּא כתום
  - אצטרובל ה־ כֹּל הוא צָהֹב
  - o1 הוּא אצטרובל אֶחָד
איזה מסקנה o4 הוּא צָהֹב?

Premises:
  - o4 cube
  - axiom one color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 adalah kubus
  - aksioma satu warna per objek
  - objek o0
  - o4 adalah jingga
  - kerucut si semua berada kuning
  - o1 adalah kerucut
Kesimpulan o4 adalah kuning apa?

premises:
  - o4ត្រូវបានគូប
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - វត្ថុ:o0
  - o4ត្រូវបានពណ៌លឿង
  - កោណទាំងអស់ត្រូវបានលឿង
  - o1ត្រូវបានកោណ
conclusion:o4ត្រូវបានលឿងអី?

premises:
  - o4ຢູ່ລູກບາດ
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - ອັນ:o0
  - o4ຢູ່ສົ້ມ
  - coneallຢູ່ເຫຼືອງ
  - o1ຢູ່cone
ສະຫຼຸບ:o4ຢູ່ເຫຼືອງຫຍັງ?

premises:
  - o4 cube ఉండు
  - axiom ఒకటి రంగు per object
  - object o0
  - o4 నారింజచెట్టు ఉండు
  - cone పసుపు అందరూ ఉండు
  - o1 cone ఉండు
conclusion o4 పసుపు ఉండు ఏమిటి?

Premises:
  - o4 wà cube
  - axiom ọ̀kan color per object
  - object o0
  - o4 wà bí ọsán
  - cone gbogbo wà àwo òdodo
  - o1 wà cone
What conclusion o4 wà àwo òdodo?

Premises:
  - o4 cube naiágúóli
  - axiom dałaá color per object
  - object o0
  - o4 orange naiágúóli
  - cone łitsog all naiágúóli
  - o1 cone naiágúóli
Conclusion o4 łitsog naiágúóli what?

premises:
  - o4 cube
  - axiom ᐊᑕᐅᓯᖅ color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom wan color per object
  - object o0
  - o4 alanya
  - cone all are geri
  - o1 cone
Conclusion o4 geri what?

Premises:
  - o4 cube
  - axiom náʼėstse color per object
  - object o0
  - o4 orange
  - cone all are yellow
  - o1 cone
Conclusion o4 yellow what?

Premises:
  - o4 cube
  - axiom сад ранг per object
  - object o0
  - o4 orange
  - cone хъипи all are
  - o1 cone
Conclusion o4 хъипи вуч?

The premises are:
  - axiom one colour per object
  - o5 is a sphere
  - o5 is green
  - o0 is a cone
  - the cone all are orange
  - object o4
What conclusion o5 is orange?

Las premisas son:
  - el axioma: one es de color per objeto
  - o5 es una esfera
  - o5 es verde
  - o0 es un cono
  - el cono todos son naranja
  - objeto: o4
¿Qué la conclusión: o5 es naranja?

前提如下：
  - 公理：one颜色per物体
  - o5是一个球体
  - o5是绿色的
  - o0是一个圆锥
  - 这个圆锥全都是橙色的
  - 物体：o4
结论：o5是橙色的什么？

Öncüller:
  - axiom: one renk per nesne
  - o5 bir küre
  - o5 yeşil
  - o0 bir koni
  - koni turuncu bütün
  - nesne: o4
Conclusion: o5 turuncu ne?

Misingi ni:
  - axiom: one rangi per kitu
  - o5 ni tufe
  - o5 ni kijani
  - o0 ni koni
  - koni zote ni chungwa
  - kitu: o4
Conclusion: o5 ni chungwa nini?

The premises are:
  - axiom one colour per object
  - o5 is a sphere
  - o5 is green
  - o0 is a cone
  - the cone all are orange
  - object o4
What conclusion o5 is amber?

{premises: [(axiom (one_color_per_object)) (shape o5 sphere) (color o5 green) (shape o0 cone) (all_are cone orange) (object o4)], query: (conclusion (color o5 orange))}

Lokal:
  - Axiom eins Farbe je Gegenstand
  - o5 ist eine Kugel
  - o5 ist grüner
  - o0 ist ein Kegel
  - der Kegel alle werden orange
  - Gegenstand o4
Was Schluss o5 ist orange?

Premises:
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o5 би̏ти сфе́ра
  - o5 би̏ти зѐлен
  - o0 би̏ти stožac
  - stožac са̏в би̏ти на̀ра̄нџаст
  - објекат o4
Conclusion o5 би̏ти на̀ра̄нџаст kakav?

Kiinteistö:
  - perusväite yksi väri per esine
  - o5 on pallo
  - o5 on vihreä
  - o0 on kartio
  - kartio kaikki tulla oranssi
  - esine o4
Mikä päätös o5 on oranssi?

前提如下：
  - 公理：one颜色per物体
  - o5是一个球体
  - o5是绿色的
  - o0是一个圆锥
  - 这个圆锥全都是橙色的
  - 物体：o4
结论：o5是橙色的什么？

邸内:
  - 公理:一色毎物体
  - o5球です
  - o5緑のです
  - o0松毬です
  - 松毬オレンジ色の全てれる
  - 物体:o4
終わり:o5オレンジ色のです何と?

Öncüller:
  - axiom: one renk per nesne
  - o5 bir küre
  - o5 yeşil
  - o0 bir koni
  - koni turuncu bütün
  - nesne: o4
Conclusion: o5 turuncu ne?

مُقَدِّمَة:
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o5 كُرَة
  - o5 أَخْضَر
  - o0 مَخْرُوط
  - كُلّ كَانَ الـ مَخْرُوط بُرْتُقَالِيّ
  - عُرْضَة o4
نَتِيجَة o5 بُرْتُقَالِيّ مَاذَا؟

Premises:
  - აქსიომა ერთი ფერი per საგანი
  - o5 სფერო ყოფნა
  - o5 მწვანე ყოფნა
  - o0 გირჩა ყოფნა
  - გირჩა ფორთოხალი ყველა ყოფნა
  - საგანი o4
Conclusion o5 ფორთოხალი ყოფნა რა?

Premises:
  - axiom tahi kano per ahanoa
  - o5 poi
  - o5 kākāriki
  - o0 koeko
  - all are te koeko orange
  - ahanoa o4
Whakamutunga o5 orange unutai?

Tiền đề:
  - chân lý một màu mỗi đồ vật
  - o5 là mặt cầu
  - o5 là green
  - o0 là nón
  - nón mọi được cam
  - đồ vật o4
Kết thúc o5 là cam gì?

ข้อตั้ง:
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o5ถูกทรงกลม
  - o5ถูกเขียว
  - o0ถูกกรวย
  - กรวยทั้งหมดถูกส้ม
  - วัตถุ:o4
ข้อสรุป:o5ถูกส้มอะไร?

premises:
  - axiom ஒன்று நிறம் per object
  - o5 sphere
  - o5 பச்சை
  - o0 cone
  - cone ஆரஞ்சு எல்லா படு
  - object o4
conclusion o5 ஆரஞ்சு என்ன?

Misingi ni:
  - axiom: one rangi per kitu
  - o5 ni tufe
  - o5 ni kijani
  - o0 ni koni
  - koni zote ni chungwa
  - kitu: o4
Conclusion: o5 ni chungwa nini?

Premises:
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o5 sphere átʼé
  - o5 dinootłʼizh átʼé
  - o0 cone átʼé
  - cone chʼil łitsxooí tʼáá ałtso átʼé
  - object o4
Ałtso bééʼdeetánígíí o5 chʼil łitsxooí átʼé haʼátʼíísh?

Premises:
  - axiom ataaseq qalipaat per susaq
  - o5 sphere a
  - o5 qorsuk a
  - o0 cone a
  - cone appelsiina all a
  - susaq o4
Conclusion o5 appelsiina a what?

Premises:
  - axiom wanpela kala per object
  - o5 sphere
  - o5 grinpela
  - o0 cone
  - cone olgeta are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom kwëti color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are òlënchikte
  - object o4
Conclusion o5 òlënchikte kwèch?

Premises:
  - axiom one бос per object
  - o5 хила sphere
  - o5 хила баьццара
  - o0 хила cone
  - cone all хила orange
  - object o4
Conclusion o5 хила orange фу?

premises:
  - 공리 하나 색깔 per object
  - o5 구체
  - o5 녹색의
  - o0 솔방울
  - 솔방울 주황색의 모든 아르
  - object o4
종결 o5 주황색의 무엇?

Premises:
  - axiom bat kolore per object
  - o5 esfera bat dago
  - o5 berde dago
  - o0 pinaburu bat dago
  - pinaburu laranja oro izan
  - object o4
Conclusion o5 laranja dago zer?

Premises:
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o5 sphere
  - o5 ᎢᏤ ᎢᏳᏍᏗ
  - o0 cone
  - cone ᏂᎦᏛ are ᎣᏂᏥ
  - object o4
What conclusion o5 ᎣᏂᏥ?

Premises:
  - axiom huk llimphi per kutipakuy
  - o5 tiyay sphere
  - o5 tiyay waylla
  - o0 tiyay cone
  - cone llapa tiyay killmu
  - kutipakuy o4
Conclusion o5 tiyay killmu what?

Premises:
  - axiom зы color per object
  - o5 sphere
  - o5 уцышъо
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange сыд?

Premises:
  - axiom ib xim per object
  - o5 sphere
  - o5 ntsuab
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom ganbu color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange ining-jak?

Premises:
  - axiom chaffa color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone bíyyi'ka are orange
  - object o4
Conclusion o5 orange nanta?

Premises:
  - axiom シネ color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom ыннен пэран per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom hun color per object
  - o5 yan sphere
  - o5 yan yaʼax
  - o0 yan cone
  - cone all yan china
  - object o4
Conclusion o5 yan china what?

Premises:
  - axiom one color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange híli?

Premises:
  - axiom waŋží color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom peteĩ color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone mayma are narã
  - object o4
Conclusion o5 narã what?

Premises:
  - axiom maya sami per object
  - o5 maya sphere
  - o5 ch’uxña
  - o0 maya cone
  - cone orange all are
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom one color per object
  - o5 ǀîi sphere
  - o5 ǀîi green
  - o0 ǀîi cone
  - cone all ǀîi orange
  - object o4
Conclusion o5 ǀîi orange what?

Premises:
  - axiom нин вал per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom one color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom koli color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom one color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom se color per object
  - o5 nemi sphere
  - o5 nemi green
  - o0 nemi cone
  - ne cone muchi nemi orange
  - object o4
Conclusion o5 nemi orange tay?

Local :
  - axiome un couleur par objet
  - o5 est une sphère
  - o5 est vert
  - o0 est un cône
  - le cône tout être orange
  - objet o4
Quoi conclusion o5 est orange ?

Premises:
  - aksiomo unu koloro graŭ objekto
  - o5 egali sfero
  - o5 egali verda
  - o0 egali strobilo
  - strobilo ĉiuj egali oranĝa
  - objekto o4
Konkludo o5 egali oranĝa kio?

Birtok:
  - axióma egy szín per tárgy
  - o5 gömb
  - o5 zöld
  - o0 toboz
  - a toboz minden van narancssárgát
  - tárgy o4
Következtetés o5 narancssárga melyik?

premises:
  - axiom:一色perobject
  - o5是一sphere
  - o5是綠色嘅
  - o0是一cone
  - cone所有是橙色
  - object:o4
conclusion:o5是橙色乜嘢?

Premises:
  - axiom 一 color per object
  - o5 有ん sphere
  - o5 有ん green
  - o0 有ん cone
  - cone all 有ん orange
  - object o4
Conclusion o5 有ん orange what?

Алғышарт:
  - аксиома бір түс per объект
  - o5 сфера
  - o5 жасыл
  - o0 бүршік
  - бүршік all are апельсин
  - объект o4
Тұжырым o5 апельсин не?

הנחו:
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o5 הוּא כַּדּוּר אֶחָד
  - o5 הוּא ירוק מקנאה
  - o0 הוּא אצטרובל אֶחָד
  - אצטרובל ה־ כֹּל הוא כתום
  - אוֹבְּיֶקְט o4
איזה מסקנה o5 הוּא כתום?

Premises:
  - axiom one color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - aksioma satu warna per objek
  - o5 adalah bola
  - o5 adalah hijau
  - o0 adalah kerucut
  - kerucut si semua berada jingga
  - objek o4
Kesimpulan o5 adalah jingga apa?

premises:
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o5ត្រូវបានគោល
  - o5ត្រូវបានបៃតង
  - o0ត្រូវបានកោណ
  - កោណទាំងអស់ត្រូវបានពណ៌លឿង
  - វត្ថុ:o4
conclusion:o5ត្រូវបានពណ៌លឿងអី?

premises:
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o5ຢູ່ຄະດີ
  - o5ຢູ່ຂຽວ
  - o0ຢູ່cone
  - coneallຢູ່ສົ້ມ
  - ອັນ:o4
ສະຫຼຸບ:o5ຢູ່ສົ້ມຫຍັງ?

premises:
  - axiom ఒకటి రంగు per object
  - o5 గోళము ఉండు
  - o5 పచ్చని ఉండు
  - o0 cone ఉండు
  - cone నారింజచెట్టు అందరూ ఉండు
  - object o4
conclusion o5 నారింజచెట్టు ఉండు ఏమిటి?

Premises:
  - axiom ọ̀kan color per object
  - o5 wà sphere
  - o5 wà green
  - o0 wà cone
  - cone gbogbo wà bí ọsán
  - object o4
What conclusion o5 wà bí ọsán?

Premises:
  - axiom dałaá color per object
  - o5 sphere naiágúóli
  - o5 green naiágúóli
  - o0 cone naiágúóli
  - cone orange all naiágúóli
  - object o4
Conclusion o5 orange naiágúóli what?

premises:
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
conclusion o5 orange what?

Premises:
  - axiom wan color per object
  - o5 sphere
  - o5 grun
  - o0 cone
  - cone all are alanya
  - object o4
Conclusion o5 alanya what?

Premises:
  - axiom náʼėstse color per object
  - o5 sphere
  - o5 green
  - o0 cone
  - cone all are orange
  - object o4
Conclusion o5 orange what?

Premises:
  - axiom сад ранг per object
  - o5 sphere
  - o5 къацу
  - o0 cone
  - cone orange all are
  - object o4
Conclusion o5 orange вуч?

The premises are:
  - object o5
  - axiom one colour per object
  - the cone all are yellow
  - o1 is a cone
  - o4 is a disc
  - o4 is purple
What conclusion o4 is purple?

Las premisas son:
  - objeto: o5
  - el axioma: one es de color per objeto
  - el cono todos son amarillo
  - o1 es un cono
  - o4 es un disco
  - o4 es morado
¿Qué la conclusión: o4 es morado?

前提如下：
  - 物体：o5
  - 公理：one颜色per物体
  - 这个圆锥全都是黄色的
  - o1是一个圆锥
  - o4是一个圆盘
  - o4是紫色的
结论：o4是紫色的什么？

Öncüller:
  - nesne: o5
  - axiom: one renk per nesne
  - koni sarı bütün
  - o1 bir koni
  - o4 bir disk
  - o4 mor
Conclusion: o4 mor ne?

Misingi ni:
  - kitu: o5
  - axiom: one rangi per kitu
  - koni zote ni manjano
  - o1 ni koni
  - o4 ni duara
  - o4 ni zambarau
Conclusion: o4 ni zambarau nini?

The premises are:
  - object o5
  - axiom one colour per object
  - the cone all are yellow
  - o1 is a cone
  - o4 is a disc
  - o4 is purple
What conclusion o4 is violet?

{premises: [(object o5) (axiom (one_color_per_object)) (all_are cone yellow) (shape o1 cone) (shape o4 disc) (color o4 purple)], query: (conclusion (color o4 purple))}

Lokal:
  - Gegenstand o5
  - Axiom eins Farbe je Gegenstand
  - der Kegel alle werden gelbe
  - o1 ist ein Kegel
  - o4 ist ein Scheibe
  - o4 ist purpurner
Was Schluss o4 ist purpurner?

Premises:
  - објекат o5
  - аксѝо̄м јѐдан бо̀ја per објекат
  - stožac са̏в би̏ти жу̑т
  - o1 би̏ти stožac
  - o4 би̏ти диск
  - o4 би̏ти пурпуран
Conclusion o4 би̏ти пурпуран kakav?

Kiinteistö:
  - esine o5
  - perusväite yksi väri per esine
  - kartio kaikki tulla keltainen
  - o1 on kartio
  - o4 on kiekko
  - o4 on sinipunainen
Mikä päätös o4 on sinipunainen?

前提如下：
  - 物体：o5
  - 公理：one颜色per物体
  - 这个圆锥全都是黄色的
  - o1是一个圆锥
  - o4是一个圆盘
  - o4是紫色的
结论：o4是紫色的什么？

邸内:
  - 物体:o5
  - 公理:一色毎物体
  - 松毬黄色い全てれる
  - o1松毬です
  - o4ディスクです
  - o4紫色です
終わり:o4紫色です何と?

Öncüller:
  - nesne: o5
  - axiom: one renk per nesne
  - koni sarı bütün
  - o1 bir koni
  - o4 bir disk
  - o4 mor
Conclusion: o4 mor ne?

مُقَدِّمَة:
  - عُرْضَة o5
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - كُلّ كَانَ الـ مَخْرُوط أَصْفَر
  - o1 مَخْرُوط
  - o4 قُرْص
  - o4 أُرْجُوَانِيّ
نَتِيجَة o4 أُرْجُوَانِيّ مَاذَا؟

Premises:
  - საგანი o5
  - აქსიომა ერთი ფერი per საგანი
  - გირჩა ყვითელი ყველა ყოფნა
  - o1 გირჩა ყოფნა
  - o4 დისკი ყოფნა
  - o4 იისფერი ყოფნა
Conclusion o4 იისფერი ყოფნა რა?

Premises:
  - ahanoa o5
  - axiom tahi kano per ahanoa
  - all are te koeko kōwhai
  - o1 koeko
  - o4 porotītiti
  - o4 waiporoporo
Whakamutunga o4 waiporoporo unutai?

Tiền đề:
  - đồ vật o5
  - chân lý một màu mỗi đồ vật
  - nón mọi được yellow
  - o1 là nón
  - o4 là đĩa
  - o4 là đỏ tía
Kết thúc o4 là đỏ tía gì?

ข้อตั้ง:
  - วัตถุ:o5
  - สัจพจน์:หนึ่งสีละวัตถุ
  - กรวยทั้งหมดถูกเหลือง
  - o1ถูกกรวย
  - o4ถูกดิสก์
  - o4ถูกม่วง
ข้อสรุป:o4ถูกม่วงอะไร?

premises:
  - object o5
  - axiom ஒன்று நிறம் per object
  - cone மஞ்சள் எல்லா படு
  - o1 cone
  - o4 disc
  - o4 ஊதா
conclusion o4 ஊதா என்ன?

Misingi ni:
  - kitu: o5
  - axiom: one rangi per kitu
  - koni zote ni manjano
  - o1 ni koni
  - o4 ni duara
  - o4 ni zambarau
Conclusion: o4 ni zambarau nini?

Premises:
  - object o5
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - cone łitso tʼáá ałtso átʼé
  - o1 cone átʼé
  - o4 disc átʼé
  - o4 tsédídéehgo dootłʼizh átʼé
Ałtso bééʼdeetánígíí o4 tsédídéehgo dootłʼizh átʼé haʼátʼíísh?

Premises:
  - susaq o5
  - axiom ataaseq qalipaat per susaq
  - cone sungaaqeq all a
  - o1 cone a
  - o4 disc a
  - o4 purple a
Conclusion o4 purple a what?

Premises:
  - object o5
  - axiom wanpela kala per object
  - cone olgeta are yelopela
  - o1 cone
  - o4 disc
  - o4 hap ret
Conclusion o4 hap ret what?

Premises:
  - object o5
  - axiom kwëti color per object
  - cone all are wisae
  - o1 cone
  - o4 disc
  - o4 chàkinkwèmikte
Conclusion o4 chàkinkwèmikte kwèch?

Premises:
  - object o5
  - axiom one бос per object
  - cone all хила yellow
  - o1 хила cone
  - o4 хила disc
  - o4 хила purple
Conclusion o4 хила purple фу?

premises:
  - object o5
  - 공리 하나 색깔 per object
  - 솔방울 노란 모든 아르
  - o1 솔방울
  - o4 디스크
  - o4 보라색의
종결 o4 보라색의 무엇?

Premises:
  - object o5
  - axiom bat kolore per object
  - pinaburu hori oro izan
  - o1 pinaburu bat dago
  - o4 disc bat dago
  - o4 gorrindol dago
Conclusion o4 gorrindol dago zer?

Premises:
  - object o5
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - cone ᏂᎦᏛ are ᏓᎶᏁᎦ
  - o1 cone
  - o4 disc
  - o4 ᏕᎷᎨ
What conclusion o4 ᏕᎷᎨ?

Premises:
  - kutipakuy o5
  - axiom huk llimphi per kutipakuy
  - cone llapa tiyay gillu
  - o1 tiyay cone
  - o4 tiyay disc
  - o4 tiyay kulli
Conclusion o4 tiyay kulli what?

Premises:
  - object o5
  - axiom зы color per object
  - cone гъожьы all are
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple сыд?

Premises:
  - object o5
  - axiom ib xim per object
  - cone all are daj
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom ganbu color per object
  - cone all are babedirreen
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple ining-jak?

Premises:
  - object o5
  - axiom chaffa color per object
  - cone bíyyi'ka are lakna
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple nanta?

Premises:
  - object o5
  - axiom シネ color per object
  - cone yellow all are
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom ыннен пэран per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom hun color per object
  - cone all yan yellow
  - o1 yan cone
  - o4 yan disc
  - o4 yan purple
Conclusion o4 yan purple what?

Premises:
  - object o5
  - axiom one color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple híli?

Premises:
  - object o5
  - axiom waŋží color per object
  - cone zí all are
  - o1 cone
  - o4 disc
  - o4 šátȟo
Conclusion o4 šátȟo what?

Premises:
  - object o5
  - axiom peteĩ color per object
  - cone mayma are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom maya sami per object
  - cone yellow all are
  - o1 maya cone
  - o4 maya disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom one color per object
  - cone all ǀîi yellow
  - o1 ǀîi cone
  - o4 ǀîi disc
  - o4 ǀîi purple
Conclusion o4 ǀîi purple what?

Premises:
  - object o5
  - axiom нин вал per object
  - cone yellow all are
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom one color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom koli color per object
  - cone yellow all are
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom one color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom se color per object
  - ne cone muchi nemi yellow
  - o1 nemi cone
  - o4 nemi disc
  - o4 nemi purple
Conclusion o4 nemi purple tay?

Local :
  - objet o5
  - axiome un couleur par objet
  - le cône tout être jaune
  - o1 est un cône
  - o4 est un disque
  - o4 est violet
Quoi conclusion o4 est violet ?

Premises:
  - objekto o5
  - aksiomo unu koloro graŭ objekto
  - strobilo ĉiuj egali flava
  - o1 egali strobilo
  - o4 egali disko
  - o4 egali purpura
Konkludo o4 egali purpura kio?

Birtok:
  - tárgy o5
  - axióma egy szín per tárgy
  - a toboz minden van sárgát
  - o1 toboz
  - o4 lemez
  - o4 bíbor
Következtetés o4 bíbor melyik?

premises:
  - object:o5
  - axiom:一色perobject
  - cone所有是黃
  - o1是一cone
  - o4是一disc
  - o4是紫色
conclusion:o4是紫色乜嘢?

Premises:
  - object o5
  - axiom 一 color per object
  - cone all 有ん 黄色
  - o1 有ん cone
  - o4 有ん disc
  - o4 有ん purple
Conclusion o4 有ん purple what?

Алғышарт:
  - объект o5
  - аксиома бір түс per объект
  - бүршік all are сары
  - o1 бүршік
  - o4 диск
  - o4 күлгін
Тұжырым o4 күлгін не?

הנחו:
  - אוֹבְּיֶקְט o5
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - אצטרובל ה־ כֹּל הוא צָהֹב
  - o1 הוּא אצטרובל אֶחָד
  - o4 הוּא דִּיסְק אֶחָד
  - o4 הוּא סָגֹל
איזה מסקנה o4 הוּא סָגֹל?

Premises:
  - object o5
  - axiom one color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - objek o5
  - aksioma satu warna per objek
  - kerucut si semua berada kuning
  - o1 adalah kerucut
  - o4 adalah cakram
  - o4 adalah ungu
Kesimpulan o4 adalah ungu apa?

premises:
  - វត្ថុ:o5
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - កោណទាំងអស់ត្រូវបានលឿង
  - o1ត្រូវបានកោណ
  - o4ត្រូវបានដួង
  - o4ត្រូវបានពណ៌ស្វាយ
conclusion:o4ត្រូវបានពណ៌ស្វាយអី?

premises:
  - ອັນ:o5
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - coneallຢູ່ເຫຼືອງ
  - o1ຢູ່cone
  - o4ຢູ່ຈັກ
  - o4ຢູ່purple
ສະຫຼຸບ:o4ຢູ່purpleຫຍັງ?

premises:
  - object o5
  - axiom ఒకటి రంగు per object
  - cone పసుపు అందరూ ఉండు
  - o1 cone ఉండు
  - o4 disc ఉండు
  - o4 ఊదా ఉండు
conclusion o4 ఊదా ఉండు ఏమిటి?

Premises:
  - object o5
  - axiom ọ̀kan color per object
  - cone gbogbo wà àwo òdodo
  - o1 wà cone
  - o4 wà disc
  - o4 wà purple
What conclusion o4 wà purple?

Premises:
  - object o5
  - axiom dałaá color per object
  - cone łitsog all naiágúóli
  - o1 cone naiágúóli
  - o4 disc naiágúóli
  - o4 purple naiágúóli
Conclusion o4 purple naiágúóli what?

premises:
  - object o5
  - axiom ᐊᑕᐅᓯᖅ color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
conclusion o4 purple what?

Premises:
  - object o5
  - axiom wan color per object
  - cone all are geri
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom náʼėstse color per object
  - cone all are yellow
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple what?

Premises:
  - object o5
  - axiom сад ранг per object
  - cone хъипи all are
  - o1 cone
  - o4 disc
  - o4 purple
Conclusion o4 purple вуч?

The premises are:
  - o1 is a rod
  - axiom one colour per object
  - the rod all are yellow
  - o2 is a prism
  - object o0
  - o2 is blue
What conclusion o1 is yellow?

Las premisas son:
  - o1 es una barra
  - el axioma: one es de color per objeto
  - la barra todos son amarillo
  - o2 es un prisma
  - objeto: o0
  - o2 es azul
¿Qué la conclusión: o1 es amarillo?

前提如下：
  - o1是一条杆
  - 公理：one颜色per物体
  - 这条杆全都是黄色的
  - o2是一个棱镜
  - 物体：o0
  - o2是蓝色的
结论：o1是黄色的什么？

Öncüller:
  - o1 bir çubuk
  - axiom: one renk per nesne
  - çubuk sarı bütün
  - o2 bir prizma
  - nesne: o0
  - o2 mavi
Conclusion: o1 sarı ne?

Misingi ni:
  - o1 ni ufito
  - axiom: one rangi per kitu
  - ufito zote ni manjano
  - o2 ni prizma
  - kitu: o0
  - o2 ni buluu
Conclusion: o1 ni manjano nini?

The premises are:
  - o1 is a rod
  - axiom one colour per object
  - the rod all are yellow
  - o2 is a prism
  - object o0
  - o2 is blue
What conclusion o1 is golden?

{premises: [(shape o1 rod) (axiom (one_color_per_object)) (all_are rod yellow) (shape o2 prism) (object o0) (color o2 blue)], query: (conclusion (color o1 yellow))}

Lokal:
  - o1 ist eine Stange
  - Axiom eins Farbe je Gegenstand
  - die Stange alle werden gelbe
  - o2 ist ein Prisma
  - Gegenstand o0
  - o2 ist blauer
Was Schluss o1 ist gelber?

Premises:
  - o1 би̏ти па̏лица
  - аксѝо̄м јѐдан бо̀ја per објекат
  - па̏лица са̏в би̏ти жу̑т
  - o2 би̏ти при̏зма
  - објекат o0
  - o2 би̏ти пла̑в
Conclusion o1 би̏ти жу̑т kakav?

Kiinteistö:
  - o1 on tanko
  - perusväite yksi väri per esine
  - tanko kaikki tulla keltainen
  - o2 on prisma
  - esine o0
  - o2 on sininen
Mikä päätös o1 on keltainen?

前提如下：
  - o1是一条杆
  - 公理：one颜色per物体
  - 这条杆全都是黄色的
  - o2是一个棱镜
  - 物体：o0
  - o2是蓝色的
结论：o1是黄色的什么？

邸内:
  - o1棒です
  - 公理:一色毎物体
  - 棒黄色い全てれる
  - o2プリズムです
  - 物体:o0
  - o2青いです
終わり:o1黄色いです何と?

Öncüller:
  - o1 bir çubuk
  - axiom: one renk per nesne
  - çubuk sarı bütün
  - o2 bir prizma
  - nesne: o0
  - o2 mavi
Conclusion: o1 sarı ne?

مُقَدِّمَة:
  - o1 عَصًا
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - كُلّ كَانَ الـ عَصًا أَصْفَر
  - o2 مَنْشُور
  - عُرْضَة o0
  - o2 أَزْرَق
نَتِيجَة o1 أَصْفَر مَاذَا؟

Premises:
  - o1 კვერთხი ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - კვერთხი ყვითელი ყველა ყოფნა
  - o2 პრიზმა ყოფნა
  - საგანი o0
  - o2 ლურჯი ყოფნა
Conclusion o1 ყვითელი ყოფნა რა?

Premises:
  - o1 rod
  - axiom tahi kano per ahanoa
  - all are te rod kōwhai
  - o2 poro
  - ahanoa o0
  - o2 kahurangi
Whakamutunga o1 kōwhai unutai?

Tiền đề:
  - o1 là que
  - chân lý một màu mỗi đồ vật
  - que mọi được yellow
  - o2 là lăng kính
  - đồ vật o0
  - o2 là blue
Kết thúc o1 là yellow gì?

ข้อตั้ง:
  - o1ถูกแท่ง
  - สัจพจน์:หนึ่งสีละวัตถุ
  - แท่งทั้งหมดถูกเหลือง
  - o2ถูกปริซึม
  - วัตถุ:o0
  - o2ถูกน้ำเงิน
ข้อสรุป:o1ถูกเหลืองอะไร?

premises:
  - o1 rod
  - axiom ஒன்று நிறம் per object
  - rod மஞ்சள் எல்லா படு
  - o2 பட்டகம்
  - object o0
  - o2 நீலம்
conclusion o1 மஞ்சள் என்ன?

Misingi ni:
  - o1 ni ufito
  - axiom: one rangi per kitu
  - ufito zote ni manjano
  - o2 ni prizma
  - kitu: o0
  - o2 ni buluu
Conclusion: o1 ni manjano nini?

Premises:
  - o1 rod átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - rod łitso tʼáá ałtso átʼé
  - o2 prism átʼé
  - object o0
  - o2 dootłʼizh átʼé
Ałtso bééʼdeetánígíí o1 łitso átʼé haʼátʼíísh?

Premises:
  - o1 rod a
  - axiom ataaseq qalipaat per susaq
  - rod sungaaqeq all a
  - o2 prism a
  - susaq o0
  - o2 tungujortoq a
Conclusion o1 sungaaqeq a what?

Premises:
  - o1 rod
  - axiom wanpela kala per object
  - rod olgeta are yelopela
  - o2 prism
  - object o0
  - o2 blu
Conclusion o1 yelopela what?

Premises:
  - o1 rod
  - axiom kwëti color per object
  - rod all are wisae
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 wisae kwèch?

Premises:
  - o1 хила зӏак
  - axiom one бос per object
  - зӏак all хила yellow
  - o2 хила prism
  - object o0
  - o2 хила blue
Conclusion o1 хила yellow фу?

premises:
  - o1 막대
  - 공리 하나 색깔 per object
  - 막대 노란 모든 아르
  - o2 프리즘
  - object o0
  - o2 푸르다
종결 o1 노란 무엇?

Premises:
  - o1 haga bat dago
  - axiom bat kolore per object
  - haga hori oro izan
  - o2 prisma bat dago
  - object o0
  - o2 urdin dago
Conclusion o1 hori dago zer?

Premises:
  - o1 rod
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - rod ᏂᎦᏛ are ᏓᎶᏁᎦ
  - o2 prism
  - object o0
  - o2 ᏌᎪᏂᎨᎢ
What conclusion o1 ᏓᎶᏁᎦ?

Premises:
  - o1 tiyay rod
  - axiom huk llimphi per kutipakuy
  - rod llapa tiyay gillu
  - o2 tiyay prism
  - kutipakuy o0
  - o2 tiyay anqas
Conclusion o1 tiyay gillu what?

Premises:
  - o1 rod
  - axiom зы color per object
  - rod гъожьы all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 гъожьы сыд?

Premises:
  - o1 rod
  - axiom ib xim per object
  - rod all are daj
  - o2 prism
  - object o0
  - o2 xiav
Conclusion o1 daj what?

Premises:
  - o1 rod
  - axiom ganbu color per object
  - rod all are babedirreen
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 babedirreen ining-jak?

Premises:
  - o1 rod
  - axiom chaffa color per object
  - rod bíyyi'ka are lakna
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 lakna nanta?

Premises:
  - o1 rod
  - axiom シネ color per object
  - rod yellow all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom ыннен пэран per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 ныԓиԓиԓӄин
Conclusion o1 yellow what?

Premises:
  - o1 yan rod
  - axiom hun color per object
  - rod all yan yellow
  - o2 yan prism
  - object o0
  - o2 yan blue
Conclusion o1 yan yellow what?

Premises:
  - o1 rod
  - axiom one color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow híli?

Premises:
  - o1 rod
  - axiom waŋží color per object
  - rod zí all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 zí what?

Premises:
  - o1 rod
  - axiom peteĩ color per object
  - rod mayma are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 maya rod
  - axiom maya sami per object
  - rod yellow all are
  - o2 maya prism
  - object o0
  - o2 larama
Conclusion o1 yellow what?

Premises:
  - o1 ǀîi rod
  - axiom one color per object
  - rod all ǀîi yellow
  - o2 ǀîi prism
  - object o0
  - o2 ǀîi blue
Conclusion o1 ǀîi yellow what?

Premises:
  - o1 rod
  - axiom нин вал per object
  - rod yellow all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom one color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom koli color per object
  - rod yellow all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom one color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 nemi rod
  - axiom se color per object
  - ne rod muchi nemi yellow
  - o2 nemi prism
  - object o0
  - o2 nemi blue
Conclusion o1 nemi yellow tay?

Local :
  - o1 est une tige
  - axiome un couleur par objet
  - la tige tout être jaune
  - o2 est un prisme
  - objet o0
  - o2 est bleu
Quoi conclusion o1 est jaune ?

Premises:
  - o1 egali vergo
  - aksiomo unu koloro graŭ objekto
  - vergo ĉiuj egali flava
  - o2 egali prismo
  - objekto o0
  - o2 egali blua
Konkludo o1 egali flava kio?

Birtok:
  - o1 bot
  - axióma egy szín per tárgy
  - a bot minden van sárgát
  - o2 hasáb
  - tárgy o0
  - o2 kék
Következtetés o1 sárga melyik?

premises:
  - o1是一rod
  - axiom:一色perobject
  - rod所有是黃
  - o2是一prism
  - object:o0
  - o2是藍色嘅
conclusion:o1是黃乜嘢?

Premises:
  - o1 有ん rod
  - axiom 一 color per object
  - rod all 有ん 黄色
  - o2 有ん prism
  - object o0
  - o2 有ん blue
Conclusion o1 有ん 黄色 what?

Алғышарт:
  - o1 rod
  - аксиома бір түс per объект
  - rod all are сары
  - o2 призма
  - объект o0
  - o2 көк
Тұжырым o1 сары не?

הנחו:
  - o1 הוּא מוֹט אֶחָד
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - מוֹט ה־ כֹּל הוא צָהֹב
  - o2 הוּא מִנְסָרָה אַחַת
  - אוֹבְּיֶקְט o0
  - o2 הוּא כָּחוֹל
איזה מסקנה o1 הוּא צָהֹב?

Premises:
  - o1 rod
  - axiom one color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 adalah rod
  - aksioma satu warna per objek
  - rod si semua berada kuning
  - o2 adalah prisma
  - objek o0
  - o2 adalah biru
Kesimpulan o1 adalah kuning apa?

premises:
  - o1ត្រូវបានរបុក
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - របុកទាំងអស់ត្រូវបានលឿង
  - o2ត្រូវបានព្រីស
  - វត្ថុ:o0
  - o2ត្រូវបានខៀវ
conclusion:o1ត្រូវបានលឿងអី?

premises:
  - o1ຢູ່rod
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - rodallຢູ່ເຫຼືອງ
  - o2ຢູ່prism
  - ອັນ:o0
  - o2ຢູ່ຟ້າ
ສະຫຼຸບ:o1ຢູ່ເຫຼືອງຫຍັງ?

premises:
  - o1 rod ఉండు
  - axiom ఒకటి రంగు per object
  - rod పసుపు అందరూ ఉండు
  - o2 పట్టకం ఉండు
  - object o0
  - o2 నీలము ఉండు
conclusion o1 పసుపు ఉండు ఏమిటి?

Premises:
  - o1 wà rod
  - axiom ọ̀kan color per object
  - rod gbogbo wà àwo òdodo
  - o2 wà prism
  - object o0
  - o2 wà dúdú
What conclusion o1 wà àwo òdodo?

Premises:
  - o1 rod naiágúóli
  - axiom dałaá color per object
  - rod łitsog all naiágúóli
  - o2 prism naiágúóli
  - object o0
  - o2 blue naiágúóli
Conclusion o1 łitsog naiágúóli what?

premises:
  - o1 rod
  - axiom ᐊᑕᐅᓯᖅ color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom wan color per object
  - rod all are geri
  - o2 prism
  - object o0
  - o2 blaw
Conclusion o1 geri what?

Premises:
  - o1 rod
  - axiom náʼėstse color per object
  - rod all are yellow
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 yellow what?

Premises:
  - o1 rod
  - axiom сад ранг per object
  - rod хъипи all are
  - o2 prism
  - object o0
  - o2 blue
Conclusion o1 хъипи вуч?

The premises are:
  - o2 is yellow
  - object o5
  - axiom one colour per object
  - o2 is a disc
  - the rod all are red
  - o4 is a rod
What conclusion o2 is yellow?

Las premisas son:
  - o2 es amarillo
  - objeto: o5
  - el axioma: one es de color per objeto
  - o2 es un disco
  - la barra todos son rojo
  - o4 es una barra
¿Qué la conclusión: o2 es amarillo?

前提如下：
  - o2是黄色的
  - 物体：o5
  - 公理：one颜色per物体
  - o2是一个圆盘
  - 这条杆全都是红色的
  - o4是一条杆
结论：o2是黄色的什么？

Öncüller:
  - o2 sarı
  - nesne: o5
  - axiom: one renk per nesne
  - o2 bir disk
  - çubuk kırmızı bütün
  - o4 bir çubuk
Conclusion: o2 sarı ne?

Misingi ni:
  - o2 ni manjano
  - kitu: o5
  - axiom: one rangi per kitu
  - o2 ni duara
  - ufito zote ni ekundu
  - o4 ni ufito
Conclusion: o2 ni manjano nini?

The premises are:
  - o2 is yellow
  - object o5
  - axiom one colour per object
  - o2 is a disc
  - the rod all are red
  - o4 is a rod
What conclusion o2 is golden?

{premises: [(color o2 yellow) (object o5) (axiom (one_color_per_object)) (shape o2 disc) (all_are rod red) (shape o4 rod)], query: (conclusion (color o2 yellow))}

Lokal:
  - o2 ist gelber
  - Gegenstand o5
  - Axiom eins Farbe je Gegenstand
  - o2 ist ein Scheibe
  - die Stange alle werden rote
  - o4 ist eine Stange
Was Schluss o2 ist gelber?

Premises:
  - o2 би̏ти жу̑т
  - објекат o5
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o2 би̏ти диск
  - па̏лица са̏в би̏ти цр̀вен
  - o4 би̏ти па̏лица
Conclusion o2 би̏ти жу̑т kakav?

Kiinteistö:
  - o2 on keltainen
  - esine o5
  - perusväite yksi väri per esine
  - o2 on kiekko
  - tanko kaikki tulla punainen
  - o4 on tanko
Mikä päätös o2 on keltainen?

前提如下：
  - o2是黄色的
  - 物体：o5
  - 公理：one颜色per物体
  - o2是一个圆盘
  - 这条杆全都是红色的
  - o4是一条杆
结论：o2是黄色的什么？

邸内:
  - o2黄色いです
  - 物体:o5
  - 公理:一色毎物体
  - o2ディスクです
  - 棒赤い全てれる
  - o4棒です
終わり:o2黄色いです何と?

Öncüller:
  - o2 sarı
  - nesne: o5
  - axiom: one renk per nesne
  - o2 bir disk
  - çubuk kırmızı bütün
  - o4 bir çubuk
Conclusion: o2 sarı ne?

مُقَدِّمَة:
  - o2 أَصْفَر
  - عُرْضَة o5
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o2 قُرْص
  - كُلّ كَانَ الـ عَصًا أَحْمَر
  - o4 عَصًا
نَتِيجَة o2 أَصْفَر مَاذَا؟

Premises:
  - o2 ყვითელი ყოფნა
  - საგანი o5
  - აქსიომა ერთი ფერი per საგანი
  - o2 დისკი ყოფნა
  - კვერთხი წითელი ყველა ყოფნა
  - o4 კვერთხი ყოფნა
Conclusion o2 ყვითელი ყოფნა რა?

Premises:
  - o2 kōwhai
  - ahanoa o5
  - axiom tahi kano per ahanoa
  - o2 porotītiti
  - all are te rod red
  - o4 rod
Whakamutunga o2 kōwhai unutai?

Tiền đề:
  - o2 là yellow
  - đồ vật o5
  - chân lý một màu mỗi đồ vật
  - o2 là đĩa
  - que mọi được đỏ
  - o4 là que
Kết thúc o2 là yellow gì?

ข้อตั้ง:
  - o2ถูกเหลือง
  - วัตถุ:o5
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o2ถูกดิสก์
  - แท่งทั้งหมดถูกแดง
  - o4ถูกแท่ง
ข้อสรุป:o2ถูกเหลืองอะไร?

premises:
  - o2 மஞ்சள்
  - object o5
  - axiom ஒன்று நிறம் per object
  - o2 disc
  - rod சிவப்பு எல்லா படு
  - o4 rod
conclusion o2 மஞ்சள் என்ன?

Misingi ni:
  - o2 ni manjano
  - kitu: o5
  - axiom: one rangi per kitu
  - o2 ni duara
  - ufito zote ni ekundu
  - o4 ni ufito
Conclusion: o2 ni manjano nini?

Premises:
  - o2 łitso átʼé
  - object o5
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o2 disc átʼé
  - rod łichííʼ tʼáá ałtso átʼé
  - o4 rod átʼé
Ałtso bééʼdeetánígíí o2 łitso átʼé haʼátʼíísh?

Premises:
  - o2 sungaaqeq a
  - susaq o5
  - axiom ataaseq qalipaat per susaq
  - o2 disc a
  - rod aappalajaarpoq all a
  - o4 rod a
Conclusion o2 sungaaqeq a what?

Premises:
  - o2 yelopela
  - object o5
  - axiom wanpela kala per object
  - o2 disc
  - rod olgeta are ret
  - o4 rod
Conclusion o2 yelopela what?

Premises:
  - o2 wisae
  - object o5
  - axiom kwëti color per object
  - o2 disc
  - rod all are màxke
  - o4 rod
Conclusion o2 wisae kwèch?

Premises:
  - o2 хила yellow
  - object o5
  - axiom one бос per object
  - o2 хила disc
  - зӏак all хила цӏе
  - o4 хила зӏак
Conclusion o2 хила yellow фу?

premises:
  - o2 노란
  - object o5
  - 공리 하나 색깔 per object
  - o2 디스크
  - 막대 빨갛다 모든 아르
  - o4 막대
종결 o2 노란 무엇?

Premises:
  - o2 hori dago
  - object o5
  - axiom bat kolore per object
  - o2 disc bat dago
  - haga gorri oro izan
  - o4 haga bat dago
Conclusion o2 hori dago zer?

Premises:
  - o2 ᏓᎶᏁᎦ
  - object o5
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o2 disc
  - rod ᏂᎦᏛ are ᎩᎦᎨ
  - o4 rod
What conclusion o2 ᏓᎶᏁᎦ?

Premises:
  - o2 tiyay gillu
  - kutipakuy o5
  - axiom huk llimphi per kutipakuy
  - o2 tiyay disc
  - rod llapa tiyay puka
  - o4 tiyay rod
Conclusion o2 tiyay gillu what?

Premises:
  - o2 гъожьы
  - object o5
  - axiom зы color per object
  - o2 disc
  - rod плъыжьы all are
  - o4 rod
Conclusion o2 гъожьы сыд?

Premises:
  - o2 daj
  - object o5
  - axiom ib xim per object
  - o2 disc
  - rod all are liab
  - o4 rod
Conclusion o2 daj what?

Premises:
  - o2 babedirreen
  - object o5
  - axiom ganbu color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 babedirreen ining-jak?

Premises:
  - o2 lakna
  - object o5
  - axiom chaffa color per object
  - o2 disc
  - rod bíyyi'ka are homa
  - o4 rod
Conclusion o2 lakna nanta?

Premises:
  - o2 yellow
  - object o5
  - axiom シネ color per object
  - o2 disc
  - rod フレ all are
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom ыннен пэран per object
  - o2 disc
  - rod all are чеԓгыԓьын
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yan yellow
  - object o5
  - axiom hun color per object
  - o2 yan disc
  - rod all yan chak
  - o4 yan rod
Conclusion o2 yan yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom one color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 yellow híli?

Premises:
  - o2 zí
  - object o5
  - axiom waŋží color per object
  - o2 disc
  - rod red all are
  - o4 rod
Conclusion o2 zí what?

Premises:
  - o2 yellow
  - object o5
  - axiom peteĩ color per object
  - o2 disc
  - rod mayma are pytã
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom maya sami per object
  - o2 maya disc
  - rod chupika all are
  - o4 maya rod
Conclusion o2 yellow what?

Premises:
  - o2 ǀîi yellow
  - object o5
  - axiom one color per object
  - o2 ǀîi disc
  - rod all ǀîi red
  - o4 ǀîi rod
Conclusion o2 ǀîi yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom нин вал per object
  - o2 disc
  - rod red all are
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom one color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom koli color per object
  - o2 disc
  - rod red all are
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 yellow
  - object o5
  - axiom one color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 nemi yellow
  - object o5
  - axiom se color per object
  - o2 nemi disc
  - ne rod muchi nemi red
  - o4 nemi rod
Conclusion o2 nemi yellow tay?

Local :
  - o2 est jaune
  - objet o5
  - axiome un couleur par objet
  - o2 est un disque
  - la tige tout être rouge
  - o4 est une tige
Quoi conclusion o2 est jaune ?

Premises:
  - o2 egali flava
  - objekto o5
  - aksiomo unu koloro graŭ objekto
  - o2 egali disko
  - vergo ĉiuj egali ruĝa
  - o4 egali vergo
Konkludo o2 egali flava kio?

Birtok:
  - o2 sárga
  - tárgy o5
  - axióma egy szín per tárgy
  - o2 lemez
  - a bot minden van pirost
  - o4 bot
Következtetés o2 sárga melyik?

premises:
  - o2是黃
  - object:o5
  - axiom:一色perobject
  - o2是一disc
  - rod所有是紅
  - o4是一rod
conclusion:o2是黃乜嘢?

Premises:
  - o2 有ん 黄色
  - object o5
  - axiom 一 color per object
  - o2 有ん disc
  - rod all 有ん red
  - o4 有ん rod
Conclusion o2 有ん 黄色 what?

Алғышарт:
  - o2 сары
  - объект o5
  - аксиома бір түс per объект
  - o2 диск
  - rod all are қызыл
  - o4 rod
Тұжырым o2 сары не?

הנחו:
  - o2 הוּא צָהֹב
  - אוֹבְּיֶקְט o5
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o2 הוּא דִּיסְק אֶחָד
  - מוֹט ה־ כֹּל הוא אָדוֹם
  - o4 הוּא מוֹט אֶחָד
איזה מסקנה o2 הוּא צָהֹב?

Premises:
  - o2 yellow
  - object o5
  - axiom one color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 adalah kuning
  - objek o5
  - aksioma satu warna per objek
  - o2 adalah cakram
  - rod si semua berada merah
  - o4 adalah rod
Kesimpulan o2 adalah kuning apa?

premises:
  - o2ត្រូវបានលឿង
  - វត្ថុ:o5
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o2ត្រូវបានដួង
  - របុកទាំងអស់ត្រូវបានក្រហម
  - o4ត្រូវបានរបុក
conclusion:o2ត្រូវបានលឿងអី?

premises:
  - o2ຢູ່ເຫຼືອງ
  - ອັນ:o5
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o2ຢູ່ຈັກ
  - rodallຢູ່ແດງ
  - o4ຢູ່rod
ສະຫຼຸບ:o2ຢູ່ເຫຼືອງຫຍັງ?

premises:
  - o2 పసుపు ఉండు
  - object o5
  - axiom ఒకటి రంగు per object
  - o2 disc ఉండు
  - rod ఎర్ర అందరూ ఉండు
  - o4 rod ఉండు
conclusion o2 పసుపు ఉండు ఏమిటి?

Premises:
  - o2 wà àwo òdodo
  - object o5
  - axiom ọ̀kan color per object
  - o2 wà disc
  - rod gbogbo wà pupa
  - o4 wà rod
What conclusion o2 wà àwo òdodo?

Premises:
  - o2 łitsog naiágúóli
  - object o5
  - axiom dałaá color per object
  - o2 disc naiágúóli
  - rod łichíí all naiágúóli
  - o4 rod naiágúóli
Conclusion o2 łitsog naiágúóli what?

premises:
  - o2 yellow
  - object o5
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o2 disc
  - rod all are red
  - o4 rod
conclusion o2 yellow what?

Premises:
  - o2 geri
  - object o5
  - axiom wan color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 geri what?

Premises:
  - o2 yellow
  - object o5
  - axiom náʼėstse color per object
  - o2 disc
  - rod all are red
  - o4 rod
Conclusion o2 yellow what?

Premises:
  - o2 хъипи
  - object o5
  - axiom сад ранг per object
  - o2 disc
  - rod red all are
  - o4 rod
Conclusion o2 хъипи вуч?

The premises are:
  - axiom one colour per object
  - o4 is a cone
  - the cone all are red
  - object o3
  - o0 is a cube
  - o0 is blue
What conclusion o3 is purple?

Las premisas son:
  - el axioma: one es de color per objeto
  - o4 es un cono
  - el cono todos son rojo
  - objeto: o3
  - o0 es un cubo
  - o0 es azul
¿Qué la conclusión: o3 es morado?

前提如下：
  - 公理：one颜色per物体
  - o4是一个圆锥
  - 这个圆锥全都是红色的
  - 物体：o3
  - o0是一个立方体
  - o0是蓝色的
结论：o3是紫色的什么？

Öncüller:
  - axiom: one renk per nesne
  - o4 bir koni
  - koni kırmızı bütün
  - nesne: o3
  - o0 bir küp
  - o0 mavi
Conclusion: o3 mor ne?

Misingi ni:
  - axiom: one rangi per kitu
  - o4 ni koni
  - koni zote ni ekundu
  - kitu: o3
  - o0 ni mchemraba
  - o0 ni buluu
Conclusion: o3 ni zambarau nini?

The premises are:
  - axiom one colour per object
  - o4 is a cone
  - the cone all are red
  - object o3
  - o0 is a cube
  - o0 is blue
What conclusion o3 is violet?

{premises: [(axiom (one_color_per_object)) (shape o4 cone) (all_are cone red) (object o3) (shape o0 cube) (color o0 blue)], query: (conclusion (color o3 purple))}

Lokal:
  - Axiom eins Farbe je Gegenstand
  - o4 ist ein Kegel
  - der Kegel alle werden rote
  - Gegenstand o3
  - o0 ist ein Kubus
  - o0 ist blauer
Was Schluss o3 ist purpurner?

Premises:
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o4 би̏ти stožac
  - stožac са̏в би̏ти цр̀вен
  - објекат o3
  - o0 би̏ти коцка
  - o0 би̏ти пла̑в
Conclusion o3 би̏ти пурпуран kakav?

Kiinteistö:
  - perusväite yksi väri per esine
  - o4 on kartio
  - kartio kaikki tulla punainen
  - esine o3
  - o0 on kuutio
  - o0 on sininen
Mikä päätös o3 on sinipunainen?

前提如下：
  - 公理：one颜色per物体
  - o4是一个圆锥
  - 这个圆锥全都是红色的
  - 物体：o3
  - o0是一个立方体
  - o0是蓝色的
结论：o3是紫色的什么？

邸内:
  - 公理:一色毎物体
  - o4松毬です
  - 松毬赤い全てれる
  - 物体:o3
  - o0立方体です
  - o0青いです
終わり:o3紫色です何と?

Öncüller:
  - axiom: one renk per nesne
  - o4 bir koni
  - koni kırmızı bütün
  - nesne: o3
  - o0 bir küp
  - o0 mavi
Conclusion: o3 mor ne?

مُقَدِّمَة:
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o4 مَخْرُوط
  - كُلّ كَانَ الـ مَخْرُوط أَحْمَر
  - عُرْضَة o3
  - o0 كَعْبَة
  - o0 أَزْرَق
نَتِيجَة o3 أُرْجُوَانِيّ مَاذَا؟

Premises:
  - აქსიომა ერთი ფერი per საგანი
  - o4 გირჩა ყოფნა
  - გირჩა წითელი ყველა ყოფნა
  - საგანი o3
  - o0 კუბი ყოფნა
  - o0 ლურჯი ყოფნა
Conclusion o3 იისფერი ყოფნა რა?

Premises:
  - axiom tahi kano per ahanoa
  - o4 koeko
  - all are te koeko red
  - ahanoa o3
  - o0 mataono
  - o0 kahurangi
Whakamutunga o3 waiporoporo unutai?

Tiền đề:
  - chân lý một màu mỗi đồ vật
  - o4 là nón
  - nón mọi được đỏ
  - đồ vật o3
  - o0 là lập phương
  - o0 là blue
Kết thúc o3 là đỏ tía gì?

ข้อตั้ง:
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o4ถูกกรวย
  - กรวยทั้งหมดถูกแดง
  - วัตถุ:o3
  - o0ถูกลูกบาศก์
  - o0ถูกน้ำเงิน
ข้อสรุป:o3ถูกม่วงอะไร?

premises:
  - axiom ஒன்று நிறம் per object
  - o4 cone
  - cone சிவப்பு எல்லா படு
  - object o3
  - o0 cube
  - o0 நீலம்
conclusion o3 ஊதா என்ன?

Misingi ni:
  - axiom: one rangi per kitu
  - o4 ni koni
  - koni zote ni ekundu
  - kitu: o3
  - o0 ni mchemraba
  - o0 ni buluu
Conclusion: o3 ni zambarau nini?

Premises:
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o4 cone átʼé
  - cone łichííʼ tʼáá ałtso átʼé
  - object o3
  - o0 cube átʼé
  - o0 dootłʼizh átʼé
Ałtso bééʼdeetánígíí o3 tsédídéehgo dootłʼizh átʼé haʼátʼíísh?

Premises:
  - axiom ataaseq qalipaat per susaq
  - o4 cone a
  - cone aappalajaarpoq all a
  - susaq o3
  - o0 cube a
  - o0 tungujortoq a
Conclusion o3 purple a what?

Premises:
  - axiom wanpela kala per object
  - o4 cone
  - cone olgeta are ret
  - object o3
  - o0 cube
  - o0 blu
Conclusion o3 hap ret what?

Premises:
  - axiom kwëti color per object
  - o4 cone
  - cone all are màxke
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 chàkinkwèmikte kwèch?

Premises:
  - axiom one бос per object
  - o4 хила cone
  - cone all хила цӏе
  - object o3
  - o0 хила cube
  - o0 хила blue
Conclusion o3 хила purple фу?

premises:
  - 공리 하나 색깔 per object
  - o4 솔방울
  - 솔방울 빨갛다 모든 아르
  - object o3
  - o0 정육면체
  - o0 푸르다
종결 o3 보라색의 무엇?

Premises:
  - axiom bat kolore per object
  - o4 pinaburu bat dago
  - pinaburu gorri oro izan
  - object o3
  - o0 kubo bat dago
  - o0 urdin dago
Conclusion o3 gorrindol dago zer?

Premises:
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o4 cone
  - cone ᏂᎦᏛ are ᎩᎦᎨ
  - object o3
  - o0 cube
  - o0 ᏌᎪᏂᎨᎢ
What conclusion o3 ᏕᎷᎨ?

Premises:
  - axiom huk llimphi per kutipakuy
  - o4 tiyay cone
  - cone llapa tiyay puka
  - kutipakuy o3
  - o0 tiyay cube
  - o0 tiyay anqas
Conclusion o3 tiyay kulli what?

Premises:
  - axiom зы color per object
  - o4 cone
  - cone плъыжьы all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple сыд?

Premises:
  - axiom ib xim per object
  - o4 cone
  - cone all are liab
  - object o3
  - o0 cube
  - o0 xiav
Conclusion o3 purple what?

Premises:
  - axiom ganbu color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple ining-jak?

Premises:
  - axiom chaffa color per object
  - o4 cone
  - cone bíyyi'ka are homa
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple nanta?

Premises:
  - axiom シネ color per object
  - o4 cone
  - cone フレ all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom ыннен пэран per object
  - o4 cone
  - cone all are чеԓгыԓьын
  - object o3
  - o0 cube
  - o0 ныԓиԓиԓӄин
Conclusion o3 purple what?

Premises:
  - axiom hun color per object
  - o4 yan cone
  - cone all yan chak
  - object o3
  - o0 yan cube
  - o0 yan blue
Conclusion o3 yan purple what?

Premises:
  - axiom one color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple híli?

Premises:
  - axiom waŋží color per object
  - o4 cone
  - cone red all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 šátȟo what?

Premises:
  - axiom peteĩ color per object
  - o4 cone
  - cone mayma are pytã
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom maya sami per object
  - o4 maya cone
  - cone chupika all are
  - object o3
  - o0 maya cube
  - o0 larama
Conclusion o3 purple what?

Premises:
  - axiom one color per object
  - o4 ǀîi cone
  - cone all ǀîi red
  - object o3
  - o0 ǀîi cube
  - o0 ǀîi blue
Conclusion o3 ǀîi purple what?

Premises:
  - axiom нин вал per object
  - o4 cone
  - cone red all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom one color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom koli color per object
  - o4 cone
  - cone red all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom one color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom se color per object
  - o4 nemi cone
  - ne cone muchi nemi red
  - object o3
  - o0 nemi cube
  - o0 nemi blue
Conclusion o3 nemi purple tay?

Local :
  - axiome un couleur par objet
  - o4 est un cône
  - le cône tout être rouge
  - objet o3
  - o0 est un cube
  - o0 est bleu
Quoi conclusion o3 est violet ?

Premises:
  - aksiomo unu koloro graŭ objekto
  - o4 egali strobilo
  - strobilo ĉiuj egali ruĝa
  - objekto o3
  - o0 egali kubo
  - o0 egali blua
Konkludo o3 egali purpura kio?

Birtok:
  - axióma egy szín per tárgy
  - o4 toboz
  - a toboz minden van pirost
  - tárgy o3
  - o0 kocka
  - o0 kék
Következtetés o3 bíbor melyik?

premises:
  - axiom:一色perobject
  - o4是一cone
  - cone所有是紅
  - object:o3
  - o0是一cube
  - o0是藍色嘅
conclusion:o3是紫色乜嘢?

Premises:
  - axiom 一 color per object
  - o4 有ん cone
  - cone all 有ん red
  - object o3
  - o0 有ん cube
  - o0 有ん blue
Conclusion o3 有ん purple what?

Алғышарт:
  - аксиома бір түс per объект
  - o4 бүршік
  - бүршік all are қызыл
  - объект o3
  - o0 куб
  - o0 көк
Тұжырым o3 күлгін не?

הנחו:
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o4 הוּא אצטרובל אֶחָד
  - אצטרובל ה־ כֹּל הוא אָדוֹם
  - אוֹבְּיֶקְט o3
  - o0 הוּא קובייה אֶחָד
  - o0 הוּא כָּחוֹל
איזה מסקנה o3 הוּא סָגֹל?

Premises:
  - axiom one color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - aksioma satu warna per objek
  - o4 adalah kerucut
  - kerucut si semua berada merah
  - objek o3
  - o0 adalah kubus
  - o0 adalah biru
Kesimpulan o3 adalah ungu apa?

premises:
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o4ត្រូវបានកោណ
  - កោណទាំងអស់ត្រូវបានក្រហម
  - វត្ថុ:o3
  - o0ត្រូវបានគូប
  - o0ត្រូវបានខៀវ
conclusion:o3ត្រូវបានពណ៌ស្វាយអី?

premises:
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o4ຢູ່cone
  - coneallຢູ່ແດງ
  - ອັນ:o3
  - o0ຢູ່ລູກບາດ
  - o0ຢູ່ຟ້າ
ສະຫຼຸບ:o3ຢູ່purpleຫຍັງ?

premises:
  - axiom ఒకటి రంగు per object
  - o4 cone ఉండు
  - cone ఎర్ర అందరూ ఉండు
  - object o3
  - o0 cube ఉండు
  - o0 నీలము ఉండు
conclusion o3 ఊదా ఉండు ఏమిటి?

Premises:
  - axiom ọ̀kan color per object
  - o4 wà cone
  - cone gbogbo wà pupa
  - object o3
  - o0 wà cube
  - o0 wà dúdú
What conclusion o3 wà purple?

Premises:
  - axiom dałaá color per object
  - o4 cone naiágúóli
  - cone łichíí all naiágúóli
  - object o3
  - o0 cube naiágúóli
  - o0 blue naiágúóli
Conclusion o3 purple naiágúóli what?

premises:
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
conclusion o3 purple what?

Premises:
  - axiom wan color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blaw
Conclusion o3 purple what?

Premises:
  - axiom náʼėstse color per object
  - o4 cone
  - cone all are red
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple what?

Premises:
  - axiom сад ранг per object
  - o4 cone
  - cone red all are
  - object o3
  - o0 cube
  - o0 blue
Conclusion o3 purple вуч?

The premises are:
  - o1 is purple
  - o1 is a cube
  - axiom one colour per object
  - o2 is a rod
  - object o3
  - the rod all are red
What conclusion o2 is red?

Las premisas son:
  - o1 es morado
  - o1 es un cubo
  - el axioma: one es de color per objeto
  - o2 es una barra
  - objeto: o3
  - la barra todos son rojo
¿Qué la conclusión: o2 es rojo?

前提如下：
  - o1是紫色的
  - o1是一个立方体
  - 公理：one颜色per物体
  - o2是一条杆
  - 物体：o3
  - 这条杆全都是红色的
结论：o2是红色的什么？

Öncüller:
  - o1 mor
  - o1 bir küp
  - axiom: one renk per nesne
  - o2 bir çubuk
  - nesne: o3
  - çubuk kırmızı bütün
Conclusion: o2 kırmızı ne?

Misingi ni:
  - o1 ni zambarau
  - o1 ni mchemraba
  - axiom: one rangi per kitu
  - o2 ni ufito
  - kitu: o3
  - ufito zote ni ekundu
Conclusion: o2 ni ekundu nini?

The premises are:
  - o1 is purple
  - o1 is a cube
  - axiom one colour per object
  - o2 is a rod
  - object o3
  - the rod all are red
What conclusion o2 is crimson?

{premises: [(color o1 purple) (shape o1 cube) (axiom (one_color_per_object)) (shape o2 rod) (object o3) (all_are rod red)], query: (conclusion (color o2 red))}

Lokal:
  - o1 ist purpurner
  - o1 ist ein Kubus
  - Axiom eins Farbe je Gegenstand
  - o2 ist eine Stange
  - Gegenstand o3
  - die Stange alle werden rote
Was Schluss o2 ist roter?

Premises:
  - o1 би̏ти пурпуран
  - o1 би̏ти коцка
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o2 би̏ти па̏лица
  - објекат o3
  - па̏лица са̏в би̏ти цр̀вен
Conclusion o2 би̏ти цр̀вен kakav?

Kiinteistö:
  - o1 on sinipunainen
  - o1 on kuutio
  - perusväite yksi väri per esine
  - o2 on tanko
  - esine o3
  - tanko kaikki tulla punainen
Mikä päätös o2 on punainen?

前提如下：
  - o1是紫色的
  - o1是一个立方体
  - 公理：one颜色per物体
  - o2是一条杆
  - 物体：o3
  - 这条杆全都是红色的
结论：o2是红色的什么？

邸内:
  - o1紫色です
  - o1立方体です
  - 公理:一色毎物体
  - o2棒です
  - 物体:o3
  - 棒赤い全てれる
終わり:o2赤いです何と?

Öncüller:
  - o1 mor
  - o1 bir küp
  - axiom: one renk per nesne
  - o2 bir çubuk
  - nesne: o3
  - çubuk kırmızı bütün
Conclusion: o2 kırmızı ne?

مُقَدِّمَة:
  - o1 أُرْجُوَانِيّ
  - o1 كَعْبَة
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o2 عَصًا
  - عُرْضَة o3
  - كُلّ كَانَ الـ عَصًا أَحْمَر
نَتِيجَة o2 أَحْمَر مَاذَا؟

Premises:
  - o1 იისფერი ყოფნა
  - o1 კუბი ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - o2 კვერთხი ყოფნა
  - საგანი o3
  - კვერთხი წითელი ყველა ყოფნა
Conclusion o2 წითელი ყოფნა რა?

Premises:
  - o1 waiporoporo
  - o1 mataono
  - axiom tahi kano per ahanoa
  - o2 rod
  - ahanoa o3
  - all are te rod red
Whakamutunga o2 red unutai?

Tiền đề:
  - o1 là đỏ tía
  - o1 là lập phương
  - chân lý một màu mỗi đồ vật
  - o2 là que
  - đồ vật o3
  - que mọi được đỏ
Kết thúc o2 là đỏ gì?

ข้อตั้ง:
  - o1ถูกม่วง
  - o1ถูกลูกบาศก์
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o2ถูกแท่ง
  - วัตถุ:o3
  - แท่งทั้งหมดถูกแดง
ข้อสรุป:o2ถูกแดงอะไร?

premises:
  - o1 ஊதா
  - o1 cube
  - axiom ஒன்று நிறம் per object
  - o2 rod
  - object o3
  - rod சிவப்பு எல்லா படு
conclusion o2 சிவப்பு என்ன?

Misingi ni:
  - o1 ni zambarau
  - o1 ni mchemraba
  - axiom: one rangi per kitu
  - o2 ni ufito
  - kitu: o3
  - ufito zote ni ekundu
Conclusion: o2 ni ekundu nini?

Premises:
  - o1 tsédídéehgo dootłʼizh átʼé
  - o1 cube átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o2 rod átʼé
  - object o3
  - rod łichííʼ tʼáá ałtso átʼé
Ałtso bééʼdeetánígíí o2 łichííʼ átʼé haʼátʼíísh?

Premises:
  - o1 purple a
  - o1 cube a
  - axiom ataaseq qalipaat per susaq
  - o2 rod a
  - susaq o3
  - rod aappalajaarpoq all a
Conclusion o2 aappalajaarpoq a what?

Premises:
  - o1 hap ret
  - o1 cube
  - axiom wanpela kala per object
  - o2 rod
  - object o3
  - rod olgeta are ret
Conclusion o2 ret what?

Premises:
  - o1 chàkinkwèmikte
  - o1 cube
  - axiom kwëti color per object
  - o2 rod
  - object o3
  - rod all are màxke
Conclusion o2 màxke kwèch?

Premises:
  - o1 хила purple
  - o1 хила cube
  - axiom one бос per object
  - o2 хила зӏак
  - object o3
  - зӏак all хила цӏе
Conclusion o2 хила цӏе фу?

premises:
  - o1 보라색의
  - o1 정육면체
  - 공리 하나 색깔 per object
  - o2 막대
  - object o3
  - 막대 빨갛다 모든 아르
종결 o2 빨갛다 무엇?

Premises:
  - o1 gorrindol dago
  - o1 kubo bat dago
  - axiom bat kolore per object
  - o2 haga bat dago
  - object o3
  - haga gorri oro izan
Conclusion o2 gorri dago zer?

Premises:
  - o1 ᏕᎷᎨ
  - o1 cube
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o2 rod
  - object o3
  - rod ᏂᎦᏛ are ᎩᎦᎨ
What conclusion o2 ᎩᎦᎨ?

Premises:
  - o1 tiyay kulli
  - o1 tiyay cube
  - axiom huk llimphi per kutipakuy
  - o2 tiyay rod
  - kutipakuy o3
  - rod llapa tiyay puka
Conclusion o2 tiyay puka what?

Premises:
  - o1 purple
  - o1 cube
  - axiom зы color per object
  - o2 rod
  - object o3
  - rod плъыжьы all are
Conclusion o2 плъыжьы сыд?

Premises:
  - o1 purple
  - o1 cube
  - axiom ib xim per object
  - o2 rod
  - object o3
  - rod all are liab
Conclusion o2 liab what?

Premises:
  - o1 purple
  - o1 cube
  - axiom ganbu color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red ining-jak?

Premises:
  - o1 purple
  - o1 cube
  - axiom chaffa color per object
  - o2 rod
  - object o3
  - rod bíyyi'ka are homa
Conclusion o2 homa nanta?

Premises:
  - o1 purple
  - o1 cube
  - axiom シネ color per object
  - o2 rod
  - object o3
  - rod フレ all are
Conclusion o2 フレ what?

Premises:
  - o1 purple
  - o1 cube
  - axiom ыннен пэран per object
  - o2 rod
  - object o3
  - rod all are чеԓгыԓьын
Conclusion o2 чеԓгыԓьын what?

Premises:
  - o1 yan purple
  - o1 yan cube
  - axiom hun color per object
  - o2 yan rod
  - object o3
  - rod all yan chak
Conclusion o2 yan chak what?

Premises:
  - o1 purple
  - o1 cube
  - axiom one color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red híli?

Premises:
  - o1 šátȟo
  - o1 cube
  - axiom waŋží color per object
  - o2 rod
  - object o3
  - rod red all are
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom peteĩ color per object
  - o2 rod
  - object o3
  - rod mayma are pytã
Conclusion o2 pytã what?

Premises:
  - o1 purple
  - o1 maya cube
  - axiom maya sami per object
  - o2 maya rod
  - object o3
  - rod chupika all are
Conclusion o2 chupika what?

Premises:
  - o1 ǀîi purple
  - o1 ǀîi cube
  - axiom one color per object
  - o2 ǀîi rod
  - object o3
  - rod all ǀîi red
Conclusion o2 ǀîi red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom нин вал per object
  - o2 rod
  - object o3
  - rod red all are
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom one color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom koli color per object
  - o2 rod
  - object o3
  - rod red all are
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom one color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red what?

Premises:
  - o1 nemi purple
  - o1 nemi cube
  - axiom se color per object
  - o2 nemi rod
  - object o3
  - ne rod muchi nemi red
Conclusion o2 nemi red tay?

Local :
  - o1 est violet
  - o1 est un cube
  - axiome un couleur par objet
  - o2 est une tige
  - objet o3
  - la tige tout être rouge
Quoi conclusion o2 est rouge ?

Premises:
  - o1 egali purpura
  - o1 egali kubo
  - aksiomo unu koloro graŭ objekto
  - o2 egali vergo
  - objekto o3
  - vergo ĉiuj egali ruĝa
Konkludo o2 egali ruĝa kio?

Birtok:
  - o1 bíbor
  - o1 kocka
  - axióma egy szín per tárgy
  - o2 bot
  - tárgy o3
  - a bot minden van pirost
Következtetés o2 piros melyik?

premises:
  - o1是紫色
  - o1是一cube
  - axiom:一色perobject
  - o2是一rod
  - object:o3
  - rod所有是紅
conclusion:o2是紅乜嘢?

Premises:
  - o1 有ん purple
  - o1 有ん cube
  - axiom 一 color per object
  - o2 有ん rod
  - object o3
  - rod all 有ん red
Conclusion o2 有ん red what?

Алғышарт:
  - o1 күлгін
  - o1 куб
  - аксиома бір түс per объект
  - o2 rod
  - объект o3
  - rod all are қызыл
Тұжырым o2 қызыл не?

הנחו:
  - o1 הוּא סָגֹל
  - o1 הוּא קובייה אֶחָד
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o2 הוּא מוֹט אֶחָד
  - אוֹבְּיֶקְט o3
  - מוֹט ה־ כֹּל הוא אָדוֹם
איזה מסקנה o2 הוּא אָדוֹם?

Premises:
  - o1 purple
  - o1 cube
  - axiom one color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red what?

Premises:
  - o1 adalah ungu
  - o1 adalah kubus
  - aksioma satu warna per objek
  - o2 adalah rod
  - objek o3
  - rod si semua berada merah
Kesimpulan o2 adalah merah apa?

premises:
  - o1ត្រូវបានពណ៌ស្វាយ
  - o1ត្រូវបានគូប
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o2ត្រូវបានរបុក
  - វត្ថុ:o3
  - របុកទាំងអស់ត្រូវបានក្រហម
conclusion:o2ត្រូវបានក្រហមអី?

premises:
  - o1ຢູ່purple
  - o1ຢູ່ລູກບາດ
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o2ຢູ່rod
  - ອັນ:o3
  - rodallຢູ່ແດງ
ສະຫຼຸບ:o2ຢູ່ແດງຫຍັງ?

premises:
  - o1 ఊదా ఉండు
  - o1 cube ఉండు
  - axiom ఒకటి రంగు per object
  - o2 rod ఉండు
  - object o3
  - rod ఎర్ర అందరూ ఉండు
conclusion o2 ఎర్ర ఉండు ఏమిటి?

Premises:
  - o1 wà purple
  - o1 wà cube
  - axiom ọ̀kan color per object
  - o2 wà rod
  - object o3
  - rod gbogbo wà pupa
What conclusion o2 wà pupa?

Premises:
  - o1 purple naiágúóli
  - o1 cube naiágúóli
  - axiom dałaá color per object
  - o2 rod naiágúóli
  - object o3
  - rod łichíí all naiágúóli
Conclusion o2 łichíí naiágúóli what?

premises:
  - o1 purple
  - o1 cube
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o2 rod
  - object o3
  - rod all are red
conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom wan color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom náʼėstse color per object
  - o2 rod
  - object o3
  - rod all are red
Conclusion o2 red what?

Premises:
  - o1 purple
  - o1 cube
  - axiom сад ранг per object
  - o2 rod
  - object o3
  - rod red all are
Conclusion o2 red вуч?

The premises are:
  - axiom one colour per object
  - the sphere all are orange
  - o2 is a rod
  - o2 is red
  - o1 is a sphere
  - object o3
What conclusion o1 is orange?

Las premisas son:
  - el axioma: one es de color per objeto
  - la esfera todos son naranja
  - o2 es una barra
  - o2 es rojo
  - o1 es una esfera
  - objeto: o3
¿Qué la conclusión: o1 es naranja?

前提如下：
  - 公理：one颜色per物体
  - 这个球体全都是橙色的
  - o2是一条杆
  - o2是红色的
  - o1是一个球体
  - 物体：o3
结论：o1是橙色的什么？

Öncüller:
  - axiom: one renk per nesne
  - küre turuncu bütün
  - o2 bir çubuk
  - o2 kırmızı
  - o1 bir küre
  - nesne: o3
Conclusion: o1 turuncu ne?

Misingi ni:
  - axiom: one rangi per kitu
  - tufe zote ni chungwa
  - o2 ni ufito
  - o2 ni ekundu
  - o1 ni tufe
  - kitu: o3
Conclusion: o1 ni chungwa nini?

The premises are:
  - axiom one colour per object
  - the sphere all are orange
  - o2 is a rod
  - o2 is red
  - o1 is a sphere
  - object o3
What conclusion o1 is amber?

{premises: [(axiom (one_color_per_object)) (all_are sphere orange) (shape o2 rod) (color o2 red) (shape o1 sphere) (object o3)], query: (conclusion (color o1 orange))}

Lokal:
  - Axiom eins Farbe je Gegenstand
  - die Kugel alle werden orange
  - o2 ist eine Stange
  - o2 ist roter
  - o1 ist eine Kugel
  - Gegenstand o3
Was Schluss o1 ist orange?

Premises:
  - аксѝо̄м јѐдан бо̀ја per објекат
  - сфе́ра са̏в би̏ти на̀ра̄нџаст
  - o2 би̏ти па̏лица
  - o2 би̏ти цр̀вен
  - o1 би̏ти сфе́ра
  - објекат o3
Conclusion o1 би̏ти на̀ра̄нџаст kakav?

Kiinteistö:
  - perusväite yksi väri per esine
  - pallo kaikki tulla oranssi
  - o2 on tanko
  - o2 on punainen
  - o1 on pallo
  - esine o3
Mikä päätös o1 on oranssi?

前提如下：
  - 公理：one颜色per物体
  - 这个球体全都是橙色的
  - o2是一条杆
  - o2是红色的
  - o1是一个球体
  - 物体：o3
结论：o1是橙色的什么？

邸内:
  - 公理:一色毎物体
  - 球オレンジ色の全てれる
  - o2棒です
  - o2赤いです
  - o1球です
  - 物体:o3
終わり:o1オレンジ色のです何と?

Öncüller:
  - axiom: one renk per nesne
  - küre turuncu bütün
  - o2 bir çubuk
  - o2 kırmızı
  - o1 bir küre
  - nesne: o3
Conclusion: o1 turuncu ne?

مُقَدِّمَة:
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - كُلّ كَانَ الـ كُرَة بُرْتُقَالِيّ
  - o2 عَصًا
  - o2 أَحْمَر
  - o1 كُرَة
  - عُرْضَة o3
نَتِيجَة o1 بُرْتُقَالِيّ مَاذَا؟

Premises:
  - აქსიომა ერთი ფერი per საგანი
  - სფერო ფორთოხალი ყველა ყოფნა
  - o2 კვერთხი ყოფნა
  - o2 წითელი ყოფნა
  - o1 სფერო ყოფნა
  - საგანი o3
Conclusion o1 ფორთოხალი ყოფნა რა?

Premises:
  - axiom tahi kano per ahanoa
  - all are te poi orange
  - o2 rod
  - o2 red
  - o1 poi
  - ahanoa o3
Whakamutunga o1 orange unutai?

Tiền đề:
  - chân lý một màu mỗi đồ vật
  - mặt cầu mọi được cam
  - o2 là que
  - o2 là đỏ
  - o1 là mặt cầu
  - đồ vật o3
Kết thúc o1 là cam gì?

ข้อตั้ง:
  - สัจพจน์:หนึ่งสีละวัตถุ
  - ทรงกลมทั้งหมดถูกส้ม
  - o2ถูกแท่ง
  - o2ถูกแดง
  - o1ถูกทรงกลม
  - วัตถุ:o3
ข้อสรุป:o1ถูกส้มอะไร?

premises:
  - axiom ஒன்று நிறம் per object
  - sphere ஆரஞ்சு எல்லா படு
  - o2 rod
  - o2 சிவப்பு
  - o1 sphere
  - object o3
conclusion o1 ஆரஞ்சு என்ன?

Misingi ni:
  - axiom: one rangi per kitu
  - tufe zote ni chungwa
  - o2 ni ufito
  - o2 ni ekundu
  - o1 ni tufe
  - kitu: o3
Conclusion: o1 ni chungwa nini?

Premises:
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - sphere chʼil łitsxooí tʼáá ałtso átʼé
  - o2 rod átʼé
  - o2 łichííʼ átʼé
  - o1 sphere átʼé
  - object o3
Ałtso bééʼdeetánígíí o1 chʼil łitsxooí átʼé haʼátʼíísh?

Premises:
  - axiom ataaseq qalipaat per susaq
  - sphere appelsiina all a
  - o2 rod a
  - o2 aappalajaarpoq a
  - o1 sphere a
  - susaq o3
Conclusion o1 appelsiina a what?

Premises:
  - axiom wanpela kala per object
  - sphere olgeta are orange
  - o2 rod
  - o2 ret
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom kwëti color per object
  - sphere all are òlënchikte
  - o2 rod
  - o2 màxke
  - o1 sphere
  - object o3
Conclusion o1 òlënchikte kwèch?

Premises:
  - axiom one бос per object
  - sphere all хила orange
  - o2 хила зӏак
  - o2 хила цӏе
  - o1 хила sphere
  - object o3
Conclusion o1 хила orange фу?

premises:
  - 공리 하나 색깔 per object
  - 구체 주황색의 모든 아르
  - o2 막대
  - o2 빨갛다
  - o1 구체
  - object o3
종결 o1 주황색의 무엇?

Premises:
  - axiom bat kolore per object
  - esfera laranja oro izan
  - o2 haga bat dago
  - o2 gorri dago
  - o1 esfera bat dago
  - object o3
Conclusion o1 laranja dago zer?

Premises:
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - sphere ᏂᎦᏛ are ᎣᏂᏥ
  - o2 rod
  - o2 ᎩᎦᎨ
  - o1 sphere
  - object o3
What conclusion o1 ᎣᏂᏥ?

Premises:
  - axiom huk llimphi per kutipakuy
  - sphere llapa tiyay killmu
  - o2 tiyay rod
  - o2 tiyay puka
  - o1 tiyay sphere
  - kutipakuy o3
Conclusion o1 tiyay killmu what?

Premises:
  - axiom зы color per object
  - sphere orange all are
  - o2 rod
  - o2 плъыжьы
  - o1 sphere
  - object o3
Conclusion o1 orange сыд?

Premises:
  - axiom ib xim per object
  - sphere all are orange
  - o2 rod
  - o2 liab
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom ganbu color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange ining-jak?

Premises:
  - axiom chaffa color per object
  - sphere bíyyi'ka are orange
  - o2 rod
  - o2 homa
  - o1 sphere
  - object o3
Conclusion o1 orange nanta?

Premises:
  - axiom シネ color per object
  - sphere orange all are
  - o2 rod
  - o2 フレ
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom ыннен пэран per object
  - sphere all are orange
  - o2 rod
  - o2 чеԓгыԓьын
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom hun color per object
  - sphere all yan china
  - o2 yan rod
  - o2 yan chak
  - o1 yan sphere
  - object o3
Conclusion o1 yan china what?

Premises:
  - axiom one color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange híli?

Premises:
  - axiom waŋží color per object
  - sphere orange all are
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom peteĩ color per object
  - sphere mayma are narã
  - o2 rod
  - o2 pytã
  - o1 sphere
  - object o3
Conclusion o1 narã what?

Premises:
  - axiom maya sami per object
  - sphere orange all are
  - o2 maya rod
  - o2 chupika
  - o1 maya sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom one color per object
  - sphere all ǀîi orange
  - o2 ǀîi rod
  - o2 ǀîi red
  - o1 ǀîi sphere
  - object o3
Conclusion o1 ǀîi orange what?

Premises:
  - axiom нин вал per object
  - sphere orange all are
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom one color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom koli color per object
  - sphere orange all are
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom one color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom se color per object
  - ne sphere muchi nemi orange
  - o2 nemi rod
  - o2 nemi red
  - o1 nemi sphere
  - object o3
Conclusion o1 nemi orange tay?

Local :
  - axiome un couleur par objet
  - la sphère tout être orange
  - o2 est une tige
  - o2 est rouge
  - o1 est une sphère
  - objet o3
Quoi conclusion o1 est orange ?

Premises:
  - aksiomo unu koloro graŭ objekto
  - sfero ĉiuj egali oranĝa
  - o2 egali vergo
  - o2 egali ruĝa
  - o1 egali sfero
  - objekto o3
Konkludo o1 egali oranĝa kio?

Birtok:
  - axióma egy szín per tárgy
  - a gömb minden van narancssárgát
  - o2 bot
  - o2 piros
  - o1 gömb
  - tárgy o3
Következtetés o1 narancssárga melyik?

premises:
  - axiom:一色perobject
  - sphere所有是橙色
  - o2是一rod
  - o2是紅
  - o1是一sphere
  - object:o3
conclusion:o1是橙色乜嘢?

Premises:
  - axiom 一 color per object
  - sphere all 有ん orange
  - o2 有ん rod
  - o2 有ん red
  - o1 有ん sphere
  - object o3
Conclusion o1 有ん orange what?

Алғышарт:
  - аксиома бір түс per объект
  - сфера all are апельсин
  - o2 rod
  - o2 қызыл
  - o1 сфера
  - объект o3
Тұжырым o1 апельсин не?

הנחו:
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - כַּדּוּר ה־ כֹּל הוא כתום
  - o2 הוּא מוֹט אֶחָד
  - o2 הוּא אָדוֹם
  - o1 הוּא כַּדּוּר אֶחָד
  - אוֹבְּיֶקְט o3
איזה מסקנה o1 הוּא כתום?

Premises:
  - axiom one color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - aksioma satu warna per objek
  - bola si semua berada jingga
  - o2 adalah rod
  - o2 adalah merah
  - o1 adalah bola
  - objek o3
Kesimpulan o1 adalah jingga apa?

premises:
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - គោលទាំងអស់ត្រូវបានពណ៌លឿង
  - o2ត្រូវបានរបុក
  - o2ត្រូវបានក្រហម
  - o1ត្រូវបានគោល
  - វត្ថុ:o3
conclusion:o1ត្រូវបានពណ៌លឿងអី?

premises:
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - ຄະດີallຢູ່ສົ້ມ
  - o2ຢູ່rod
  - o2ຢູ່ແດງ
  - o1ຢູ່ຄະດີ
  - ອັນ:o3
ສະຫຼຸບ:o1ຢູ່ສົ້ມຫຍັງ?

premises:
  - axiom ఒకటి రంగు per object
  - గోళము నారింజచెట్టు అందరూ ఉండు
  - o2 rod ఉండు
  - o2 ఎర్ర ఉండు
  - o1 గోళము ఉండు
  - object o3
conclusion o1 నారింజచెట్టు ఉండు ఏమిటి?

Premises:
  - axiom ọ̀kan color per object
  - sphere gbogbo wà bí ọsán
  - o2 wà rod
  - o2 wà pupa
  - o1 wà sphere
  - object o3
What conclusion o1 wà bí ọsán?

Premises:
  - axiom dałaá color per object
  - sphere orange all naiágúóli
  - o2 rod naiágúóli
  - o2 łichíí naiágúóli
  - o1 sphere naiágúóli
  - object o3
Conclusion o1 orange naiágúóli what?

premises:
  - axiom ᐊᑕᐅᓯᖅ color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
conclusion o1 orange what?

Premises:
  - axiom wan color per object
  - sphere all are alanya
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 alanya what?

Premises:
  - axiom náʼėstse color per object
  - sphere all are orange
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange what?

Premises:
  - axiom сад ранг per object
  - sphere orange all are
  - o2 rod
  - o2 red
  - o1 sphere
  - object o3
Conclusion o1 orange вуч?

The premises are:
  - o4 is red
  - o3 is a cone
  - object o2
  - axiom one colour per object
  - o4 is a sphere
  - the cone all are blue
What conclusion o3 is orange?

Las premisas son:
  - o4 es rojo
  - o3 es un cono
  - objeto: o2
  - el axioma: one es de color per objeto
  - o4 es una esfera
  - el cono todos son azul
¿Qué la conclusión: o3 es naranja?

前提如下：
  - o4是红色的
  - o3是一个圆锥
  - 物体：o2
  - 公理：one颜色per物体
  - o4是一个球体
  - 这个圆锥全都是蓝色的
结论：o3是橙色的什么？

Öncüller:
  - o4 kırmızı
  - o3 bir koni
  - nesne: o2
  - axiom: one renk per nesne
  - o4 bir küre
  - koni mavi bütün
Conclusion: o3 turuncu ne?

Misingi ni:
  - o4 ni ekundu
  - o3 ni koni
  - kitu: o2
  - axiom: one rangi per kitu
  - o4 ni tufe
  - koni zote ni buluu
Conclusion: o3 ni chungwa nini?

The premises are:
  - o4 is red
  - o3 is a cone
  - object o2
  - axiom one colour per object
  - o4 is a sphere
  - the cone all are blue
What conclusion o3 is amber?

{premises: [(color o4 red) (shape o3 cone) (object o2) (axiom (one_color_per_object)) (shape o4 sphere) (all_are cone blue)], query: (conclusion (color o3 orange))}

Lokal:
  - o4 ist roter
  - o3 ist ein Kegel
  - Gegenstand o2
  - Axiom eins Farbe je Gegenstand
  - o4 ist eine Kugel
  - der Kegel alle werden blaue
Was Schluss o3 ist orange?

Premises:
  - o4 би̏ти цр̀вен
  - o3 би̏ти stožac
  - објекат o2
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o4 би̏ти сфе́ра
  - stožac са̏в би̏ти пла̑в
Conclusion o3 би̏ти на̀ра̄нџаст kakav?

Kiinteistö:
  - o4 on punainen
  - o3 on kartio
  - esine o2
  - perusväite yksi väri per esine
  - o4 on pallo
  - kartio kaikki tulla sininen
Mikä päätös o3 on oranssi?

前提如下：
  - o4是红色的
  - o3是一个圆锥
  - 物体：o2
  - 公理：one颜色per物体
  - o4是一个球体
  - 这个圆锥全都是蓝色的
结论：o3是橙色的什么？

邸内:
  - o4赤いです
  - o3松毬です
  - 物体:o2
  - 公理:一色毎物体
  - o4球です
  - 松毬青い全てれる
終わり:o3オレンジ色のです何と?

Öncüller:
  - o4 kırmızı
  - o3 bir koni
  - nesne: o2
  - axiom: one renk per nesne
  - o4 bir küre
  - koni mavi bütün
Conclusion: o3 turuncu ne?

مُقَدِّمَة:
  - o4 أَحْمَر
  - o3 مَخْرُوط
  - عُرْضَة o2
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o4 كُرَة
  - كُلّ كَانَ الـ مَخْرُوط أَزْرَق
نَتِيجَة o3 بُرْتُقَالِيّ مَاذَا؟

Premises:
  - o4 წითელი ყოფნა
  - o3 გირჩა ყოფნა
  - საგანი o2
  - აქსიომა ერთი ფერი per საგანი
  - o4 სფერო ყოფნა
  - გირჩა ლურჯი ყველა ყოფნა
Conclusion o3 ფორთოხალი ყოფნა რა?

Premises:
  - o4 red
  - o3 koeko
  - ahanoa o2
  - axiom tahi kano per ahanoa
  - o4 poi
  - all are te koeko kahurangi
Whakamutunga o3 orange unutai?

Tiền đề:
  - o4 là đỏ
  - o3 là nón
  - đồ vật o2
  - chân lý một màu mỗi đồ vật
  - o4 là mặt cầu
  - nón mọi được blue
Kết thúc o3 là cam gì?

ข้อตั้ง:
  - o4ถูกแดง
  - o3ถูกกรวย
  - วัตถุ:o2
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o4ถูกทรงกลม
  - กรวยทั้งหมดถูกน้ำเงิน
ข้อสรุป:o3ถูกส้มอะไร?

premises:
  - o4 சிவப்பு
  - o3 cone
  - object o2
  - axiom ஒன்று நிறம் per object
  - o4 sphere
  - cone நீலம் எல்லா படு
conclusion o3 ஆரஞ்சு என்ன?

Misingi ni:
  - o4 ni ekundu
  - o3 ni koni
  - kitu: o2
  - axiom: one rangi per kitu
  - o4 ni tufe
  - koni zote ni buluu
Conclusion: o3 ni chungwa nini?

Premises:
  - o4 łichííʼ átʼé
  - o3 cone átʼé
  - object o2
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o4 sphere átʼé
  - cone dootłʼizh tʼáá ałtso átʼé
Ałtso bééʼdeetánígíí o3 chʼil łitsxooí átʼé haʼátʼíísh?

Premises:
  - o4 aappalajaarpoq a
  - o3 cone a
  - susaq o2
  - axiom ataaseq qalipaat per susaq
  - o4 sphere a
  - cone tungujortoq all a
Conclusion o3 appelsiina a what?

Premises:
  - o4 ret
  - o3 cone
  - object o2
  - axiom wanpela kala per object
  - o4 sphere
  - cone olgeta are blu
Conclusion o3 orange what?

Premises:
  - o4 màxke
  - o3 cone
  - object o2
  - axiom kwëti color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 òlënchikte kwèch?

Premises:
  - o4 хила цӏе
  - o3 хила cone
  - object o2
  - axiom one бос per object
  - o4 хила sphere
  - cone all хила blue
Conclusion o3 хила orange фу?

premises:
  - o4 빨갛다
  - o3 솔방울
  - object o2
  - 공리 하나 색깔 per object
  - o4 구체
  - 솔방울 푸르다 모든 아르
종결 o3 주황색의 무엇?

Premises:
  - o4 gorri dago
  - o3 pinaburu bat dago
  - object o2
  - axiom bat kolore per object
  - o4 esfera bat dago
  - pinaburu urdin oro izan
Conclusion o3 laranja dago zer?

Premises:
  - o4 ᎩᎦᎨ
  - o3 cone
  - object o2
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o4 sphere
  - cone ᏂᎦᏛ are ᏌᎪᏂᎨᎢ
What conclusion o3 ᎣᏂᏥ?

Premises:
  - o4 tiyay puka
  - o3 tiyay cone
  - kutipakuy o2
  - axiom huk llimphi per kutipakuy
  - o4 tiyay sphere
  - cone llapa tiyay anqas
Conclusion o3 tiyay killmu what?

Premises:
  - o4 плъыжьы
  - o3 cone
  - object o2
  - axiom зы color per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange сыд?

Premises:
  - o4 liab
  - o3 cone
  - object o2
  - axiom ib xim per object
  - o4 sphere
  - cone all are xiav
Conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom ganbu color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange ining-jak?

Premises:
  - o4 homa
  - o3 cone
  - object o2
  - axiom chaffa color per object
  - o4 sphere
  - cone bíyyi'ka are blue
Conclusion o3 orange nanta?

Premises:
  - o4 フレ
  - o3 cone
  - object o2
  - axiom シネ color per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange what?

Premises:
  - o4 чеԓгыԓьын
  - o3 cone
  - object o2
  - axiom ыннен пэран per object
  - o4 sphere
  - cone all are ныԓиԓиԓӄин
Conclusion o3 orange what?

Premises:
  - o4 yan chak
  - o3 yan cone
  - object o2
  - axiom hun color per object
  - o4 yan sphere
  - cone all yan blue
Conclusion o3 yan china what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom one color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange híli?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom waŋží color per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange what?

Premises:
  - o4 pytã
  - o3 cone
  - object o2
  - axiom peteĩ color per object
  - o4 sphere
  - cone mayma are blue
Conclusion o3 narã what?

Premises:
  - o4 chupika
  - o3 maya cone
  - object o2
  - axiom maya sami per object
  - o4 maya sphere
  - cone larama all are
Conclusion o3 orange what?

Premises:
  - o4 ǀîi red
  - o3 ǀîi cone
  - object o2
  - axiom one color per object
  - o4 ǀîi sphere
  - cone all ǀîi blue
Conclusion o3 ǀîi orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom нин вал per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom one color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom koli color per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom one color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange what?

Premises:
  - o4 nemi red
  - o3 nemi cone
  - object o2
  - axiom se color per object
  - o4 nemi sphere
  - ne cone muchi nemi blue
Conclusion o3 nemi orange tay?

Local :
  - o4 est rouge
  - o3 est un cône
  - objet o2
  - axiome un couleur par objet
  - o4 est une sphère
  - le cône tout être bleu
Quoi conclusion o3 est orange ?

Premises:
  - o4 egali ruĝa
  - o3 egali strobilo
  - objekto o2
  - aksiomo unu koloro graŭ objekto
  - o4 egali sfero
  - strobilo ĉiuj egali blua
Konkludo o3 egali oranĝa kio?

Birtok:
  - o4 piros
  - o3 toboz
  - tárgy o2
  - axióma egy szín per tárgy
  - o4 gömb
  - a toboz minden van kéket
Következtetés o3 narancssárga melyik?

premises:
  - o4是紅
  - o3是一cone
  - object:o2
  - axiom:一色perobject
  - o4是一sphere
  - cone所有是藍色嘅
conclusion:o3是橙色乜嘢?

Premises:
  - o4 有ん red
  - o3 有ん cone
  - object o2
  - axiom 一 color per object
  - o4 有ん sphere
  - cone all 有ん blue
Conclusion o3 有ん orange what?

Алғышарт:
  - o4 қызыл
  - o3 бүршік
  - объект o2
  - аксиома бір түс per объект
  - o4 сфера
  - бүршік all are көк
Тұжырым o3 апельсин не?

הנחו:
  - o4 הוּא אָדוֹם
  - o3 הוּא אצטרובל אֶחָד
  - אוֹבְּיֶקְט o2
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o4 הוּא כַּדּוּר אֶחָד
  - אצטרובל ה־ כֹּל הוא כָּחוֹל
איזה מסקנה o3 הוּא כתום?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom one color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange what?

Premises:
  - o4 adalah merah
  - o3 adalah kerucut
  - objek o2
  - aksioma satu warna per objek
  - o4 adalah bola
  - kerucut si semua berada biru
Kesimpulan o3 adalah jingga apa?

premises:
  - o4ត្រូវបានក្រហម
  - o3ត្រូវបានកោណ
  - វត្ថុ:o2
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - o4ត្រូវបានគោល
  - កោណទាំងអស់ត្រូវបានខៀវ
conclusion:o3ត្រូវបានពណ៌លឿងអី?

premises:
  - o4ຢູ່ແດງ
  - o3ຢູ່cone
  - ອັນ:o2
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - o4ຢູ່ຄະດີ
  - coneallຢູ່ຟ້າ
ສະຫຼຸບ:o3ຢູ່ສົ້ມຫຍັງ?

premises:
  - o4 ఎర్ర ఉండు
  - o3 cone ఉండు
  - object o2
  - axiom ఒకటి రంగు per object
  - o4 గోళము ఉండు
  - cone నీలము అందరూ ఉండు
conclusion o3 నారింజచెట్టు ఉండు ఏమిటి?

Premises:
  - o4 wà pupa
  - o3 wà cone
  - object o2
  - axiom ọ̀kan color per object
  - o4 wà sphere
  - cone gbogbo wà dúdú
What conclusion o3 wà bí ọsán?

Premises:
  - o4 łichíí naiágúóli
  - o3 cone naiágúóli
  - object o2
  - axiom dałaá color per object
  - o4 sphere naiágúóli
  - cone blue all naiágúóli
Conclusion o3 orange naiágúóli what?

premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom ᐊᑕᐅᓯᖅ color per object
  - o4 sphere
  - cone all are blue
conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom wan color per object
  - o4 sphere
  - cone all are blaw
Conclusion o3 alanya what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom náʼėstse color per object
  - o4 sphere
  - cone all are blue
Conclusion o3 orange what?

Premises:
  - o4 red
  - o3 cone
  - object o2
  - axiom сад ранг per object
  - o4 sphere
  - cone blue all are
Conclusion o3 orange вуч?

The premises are:
  - o0 is blue
  - object o3
  - axiom one colour per object
  - the prism all are red
  - o4 is a prism
  - o0 is a disc
What conclusion o0 is red?

Las premisas son:
  - o0 es azul
  - objeto: o3
  - el axioma: one es de color per objeto
  - el prisma todos son rojo
  - o4 es un prisma
  - o0 es un disco
¿Qué la conclusión: o0 es rojo?

前提如下：
  - o0是蓝色的
  - 物体：o3
  - 公理：one颜色per物体
  - 这个棱镜全都是红色的
  - o4是一个棱镜
  - o0是一个圆盘
结论：o0是红色的什么？

Öncüller:
  - o0 mavi
  - nesne: o3
  - axiom: one renk per nesne
  - prizma kırmızı bütün
  - o4 bir prizma
  - o0 bir disk
Conclusion: o0 kırmızı ne?

Misingi ni:
  - o0 ni buluu
  - kitu: o3
  - axiom: one rangi per kitu
  - prizma zote ni ekundu
  - o4 ni prizma
  - o0 ni duara
Conclusion: o0 ni ekundu nini?

The premises are:
  - o0 is blue
  - object o3
  - axiom one colour per object
  - the prism all are red
  - o4 is a prism
  - o0 is a disc
What conclusion o0 is crimson?

{premises: [(color o0 blue) (object o3) (axiom (one_color_per_object)) (all_are prism red) (shape o4 prism) (shape o0 disc)], query: (conclusion (color o0 red))}

Lokal:
  - o0 ist blauer
  - Gegenstand o3
  - Axiom eins Farbe je Gegenstand
  - das Prisma alle werden rote
  - o4 ist ein Prisma
  - o0 ist ein Scheibe
Was Schluss o0 ist roter?

Premises:
  - o0 би̏ти пла̑в
  - објекат o3
  - аксѝо̄м јѐдан бо̀ја per објекат
  - при̏зма са̏в би̏ти цр̀вен
  - o4 би̏ти при̏зма
  - o0 би̏ти диск
Conclusion o0 би̏ти цр̀вен kakav?

Kiinteistö:
  - o0 on sininen
  - esine o3
  - perusväite yksi väri per esine
  - prisma kaikki tulla punainen
  - o4 on prisma
  - o0 on kiekko
Mikä päätös o0 on punainen?

前提如下：
  - o0是蓝色的
  - 物体：o3
  - 公理：one颜色per物体
  - 这个棱镜全都是红色的
  - o4是一个棱镜
  - o0是一个圆盘
结论：o0是红色的什么？

邸内:
  - o0青いです
  - 物体:o3
  - 公理:一色毎物体
  - プリズム赤い全てれる
  - o4プリズムです
  - o0ディスクです
終わり:o0赤いです何と?

Öncüller:
  - o0 mavi
  - nesne: o3
  - axiom: one renk per nesne
  - prizma kırmızı bütün
  - o4 bir prizma
  - o0 bir disk
Conclusion: o0 kırmızı ne?

مُقَدِّمَة:
  - o0 أَزْرَق
  - عُرْضَة o3
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - كُلّ كَانَ الـ مَنْشُور أَحْمَر
  - o4 مَنْشُور
  - o0 قُرْص
نَتِيجَة o0 أَحْمَر مَاذَا؟

Premises:
  - o0 ლურჯი ყოფნა
  - საგანი o3
  - აქსიომა ერთი ფერი per საგანი
  - პრიზმა წითელი ყველა ყოფნა
  - o4 პრიზმა ყოფნა
  - o0 დისკი ყოფნა
Conclusion o0 წითელი ყოფნა რა?

Premises:
  - o0 kahurangi
  - ahanoa o3
  - axiom tahi kano per ahanoa
  - all are te poro red
  - o4 poro
  - o0 porotītiti
Whakamutunga o0 red unutai?

Tiền đề:
  - o0 là blue
  - đồ vật o3
  - chân lý một màu mỗi đồ vật
  - lăng kính mọi được đỏ
  - o4 là lăng kính
  - o0 là đĩa
Kết thúc o0 là đỏ gì?

ข้อตั้ง:
  - o0ถูกน้ำเงิน
  - วัตถุ:o3
  - สัจพจน์:หนึ่งสีละวัตถุ
  - ปริซึมทั้งหมดถูกแดง
  - o4ถูกปริซึม
  - o0ถูกดิสก์
ข้อสรุป:o0ถูกแดงอะไร?

premises:
  - o0 நீலம்
  - object o3
  - axiom ஒன்று நிறம் per object
  - பட்டகம் சிவப்பு எல்லா படு
  - o4 பட்டகம்
  - o0 disc
conclusion o0 சிவப்பு என்ன?

Misingi ni:
  - o0 ni buluu
  - kitu: o3
  - axiom: one rangi per kitu
  - prizma zote ni ekundu
  - o4 ni prizma
  - o0 ni duara
Conclusion: o0 ni ekundu nini?

Premises:
  - o0 dootłʼizh átʼé
  - object o3
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - prism łichííʼ tʼáá ałtso átʼé
  - o4 prism átʼé
  - o0 disc átʼé
Ałtso bééʼdeetánígíí o0 łichííʼ átʼé haʼátʼíísh?

Premises:
  - o0 tungujortoq a
  - susaq o3
  - axiom ataaseq qalipaat per susaq
  - prism aappalajaarpoq all a
  - o4 prism a
  - o0 disc a
Conclusion o0 aappalajaarpoq a what?

Premises:
  - o0 blu
  - object o3
  - axiom wanpela kala per object
  - prism olgeta are ret
  - o4 prism
  - o0 disc
Conclusion o0 ret what?

Premises:
  - o0 blue
  - object o3
  - axiom kwëti color per object
  - prism all are màxke
  - o4 prism
  - o0 disc
Conclusion o0 màxke kwèch?

Premises:
  - o0 хила blue
  - object o3
  - axiom one бос per object
  - prism all хила цӏе
  - o4 хила prism
  - o0 хила disc
Conclusion o0 хила цӏе фу?

premises:
  - o0 푸르다
  - object o3
  - 공리 하나 색깔 per object
  - 프리즘 빨갛다 모든 아르
  - o4 프리즘
  - o0 디스크
종결 o0 빨갛다 무엇?

Premises:
  - o0 urdin dago
  - object o3
  - axiom bat kolore per object
  - prisma gorri oro izan
  - o4 prisma bat dago
  - o0 disc bat dago
Conclusion o0 gorri dago zer?

Premises:
  - o0 ᏌᎪᏂᎨᎢ
  - object o3
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - prism ᏂᎦᏛ are ᎩᎦᎨ
  - o4 prism
  - o0 disc
What conclusion o0 ᎩᎦᎨ?

Premises:
  - o0 tiyay anqas
  - kutipakuy o3
  - axiom huk llimphi per kutipakuy
  - prism llapa tiyay puka
  - o4 tiyay prism
  - o0 tiyay disc
Conclusion o0 tiyay puka what?

Premises:
  - o0 blue
  - object o3
  - axiom зы color per object
  - prism плъыжьы all are
  - o4 prism
  - o0 disc
Conclusion o0 плъыжьы сыд?

Premises:
  - o0 xiav
  - object o3
  - axiom ib xim per object
  - prism all are liab
  - o4 prism
  - o0 disc
Conclusion o0 liab what?

Premises:
  - o0 blue
  - object o3
  - axiom ganbu color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red ining-jak?

Premises:
  - o0 blue
  - object o3
  - axiom chaffa color per object
  - prism bíyyi'ka are homa
  - o4 prism
  - o0 disc
Conclusion o0 homa nanta?

Premises:
  - o0 blue
  - object o3
  - axiom シネ color per object
  - prism フレ all are
  - o4 prism
  - o0 disc
Conclusion o0 フレ what?

Premises:
  - o0 ныԓиԓиԓӄин
  - object o3
  - axiom ыннен пэран per object
  - prism all are чеԓгыԓьын
  - o4 prism
  - o0 disc
Conclusion o0 чеԓгыԓьын what?

Premises:
  - o0 yan blue
  - object o3
  - axiom hun color per object
  - prism all yan chak
  - o4 yan prism
  - o0 yan disc
Conclusion o0 yan chak what?

Premises:
  - o0 blue
  - object o3
  - axiom one color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red híli?

Premises:
  - o0 blue
  - object o3
  - axiom waŋží color per object
  - prism red all are
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom peteĩ color per object
  - prism mayma are pytã
  - o4 prism
  - o0 disc
Conclusion o0 pytã what?

Premises:
  - o0 larama
  - object o3
  - axiom maya sami per object
  - prism chupika all are
  - o4 maya prism
  - o0 maya disc
Conclusion o0 chupika what?

Premises:
  - o0 ǀîi blue
  - object o3
  - axiom one color per object
  - prism all ǀîi red
  - o4 ǀîi prism
  - o0 ǀîi disc
Conclusion o0 ǀîi red what?

Premises:
  - o0 blue
  - object o3
  - axiom нин вал per object
  - prism red all are
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom one color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom koli color per object
  - prism red all are
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom one color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 nemi blue
  - object o3
  - axiom se color per object
  - ne prism muchi nemi red
  - o4 nemi prism
  - o0 nemi disc
Conclusion o0 nemi red tay?

Local :
  - o0 est bleu
  - objet o3
  - axiome un couleur par objet
  - le prisme tout être rouge
  - o4 est un prisme
  - o0 est un disque
Quoi conclusion o0 est rouge ?

Premises:
  - o0 egali blua
  - objekto o3
  - aksiomo unu koloro graŭ objekto
  - prismo ĉiuj egali ruĝa
  - o4 egali prismo
  - o0 egali disko
Konkludo o0 egali ruĝa kio?

Birtok:
  - o0 kék
  - tárgy o3
  - axióma egy szín per tárgy
  - a hasáb minden van pirost
  - o4 hasáb
  - o0 lemez
Következtetés o0 piros melyik?

premises:
  - o0是藍色嘅
  - object:o3
  - axiom:一色perobject
  - prism所有是紅
  - o4是一prism
  - o0是一disc
conclusion:o0是紅乜嘢?

Premises:
  - o0 有ん blue
  - object o3
  - axiom 一 color per object
  - prism all 有ん red
  - o4 有ん prism
  - o0 有ん disc
Conclusion o0 有ん red what?

Алғышарт:
  - o0 көк
  - объект o3
  - аксиома бір түс per объект
  - призма all are қызыл
  - o4 призма
  - o0 диск
Тұжырым o0 қызыл не?

הנחו:
  - o0 הוּא כָּחוֹל
  - אוֹבְּיֶקְט o3
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - מִנְסָרָה ה־ כֹּל הוא אָדוֹם
  - o4 הוּא מִנְסָרָה אַחַת
  - o0 הוּא דִּיסְק אֶחָד
איזה מסקנה o0 הוּא אָדוֹם?

Premises:
  - o0 blue
  - object o3
  - axiom one color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 adalah biru
  - objek o3
  - aksioma satu warna per objek
  - prisma si semua berada merah
  - o4 adalah prisma
  - o0 adalah cakram
Kesimpulan o0 adalah merah apa?

premises:
  - o0ត្រូវបានខៀវ
  - វត្ថុ:o3
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - ព្រីសទាំងអស់ត្រូវបានក្រហម
  - o4ត្រូវបានព្រីស
  - o0ត្រូវបានដួង
conclusion:o0ត្រូវបានក្រហមអី?

premises:
  - o0ຢູ່ຟ້າ
  - ອັນ:o3
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - prismallຢູ່ແດງ
  - o4ຢູ່prism
  - o0ຢູ່ຈັກ
ສະຫຼຸບ:o0ຢູ່ແດງຫຍັງ?

premises:
  - o0 నీలము ఉండు
  - object o3
  - axiom ఒకటి రంగు per object
  - పట్టకం ఎర్ర అందరూ ఉండు
  - o4 పట్టకం ఉండు
  - o0 disc ఉండు
conclusion o0 ఎర్ర ఉండు ఏమిటి?

Premises:
  - o0 wà dúdú
  - object o3
  - axiom ọ̀kan color per object
  - prism gbogbo wà pupa
  - o4 wà prism
  - o0 wà disc
What conclusion o0 wà pupa?

Premises:
  - o0 blue naiágúóli
  - object o3
  - axiom dałaá color per object
  - prism łichíí all naiágúóli
  - o4 prism naiágúóli
  - o0 disc naiágúóli
Conclusion o0 łichíí naiágúóli what?

premises:
  - o0 blue
  - object o3
  - axiom ᐊᑕᐅᓯᖅ color per object
  - prism all are red
  - o4 prism
  - o0 disc
conclusion o0 red what?

Premises:
  - o0 blaw
  - object o3
  - axiom wan color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom náʼėstse color per object
  - prism all are red
  - o4 prism
  - o0 disc
Conclusion o0 red what?

Premises:
  - o0 blue
  - object o3
  - axiom сад ранг per object
  - prism red all are
  - o4 prism
  - o0 disc
Conclusion o0 red вуч?

The premises are:
  - o4 is a disc
  - axiom one colour per object
  - the prism all are purple
  - o3 is a prism
  - object o5
  - o4 is blue
What conclusion o4 is blue?

Las premisas son:
  - o4 es un disco
  - el axioma: one es de color per objeto
  - el prisma todos son morado
  - o3 es un prisma
  - objeto: o5
  - o4 es azul
¿Qué la conclusión: o4 es azul?

前提如下：
  - o4是一个圆盘
  - 公理：one颜色per物体
  - 这个棱镜全都是紫色的
  - o3是一个棱镜
  - 物体：o5
  - o4是蓝色的
结论：o4是蓝色的什么？

Öncüller:
  - o4 bir disk
  - axiom: one renk per nesne
  - prizma mor bütün
  - o3 bir prizma
  - nesne: o5
  - o4 mavi
Conclusion: o4 mavi ne?

Misingi ni:
  - o4 ni duara
  - axiom: one rangi per kitu
  - prizma zote ni zambarau
  - o3 ni prizma
  - kitu: o5
  - o4 ni buluu
Conclusion: o4 ni buluu nini?

The premises are:
  - o4 is a disc
  - axiom one colour per object
  - the prism all are purple
  - o3 is a prism
  - object o5
  - o4 is blue
What conclusion o4 is azure?

{premises: [(shape o4 disc) (axiom (one_color_per_object)) (all_are prism purple) (shape o3 prism) (object o5) (color o4 blue)], query: (conclusion (color o4 blue))}

Lokal:
  - o4 ist ein Scheibe
  - Axiom eins Farbe je Gegenstand
  - das Prisma alle werden purpurne
  - o3 ist ein Prisma
  - Gegenstand o5
  - o4 ist blauer
Was Schluss o4 ist blauer?

Premises:
  - o4 би̏ти диск
  - аксѝо̄м јѐдан бо̀ја per објекат
  - при̏зма са̏в би̏ти пурпуран
  - o3 би̏ти при̏зма
  - објекат o5
  - o4 би̏ти пла̑в
Conclusion o4 би̏ти пла̑в kakav?

Kiinteistö:
  - o4 on kiekko
  - perusväite yksi väri per esine
  - prisma kaikki tulla sinipunainen
  - o3 on prisma
  - esine o5
  - o4 on sininen
Mikä päätös o4 on sininen?

前提如下：
  - o4是一个圆盘
  - 公理：one颜色per物体
  - 这个棱镜全都是紫色的
  - o3是一个棱镜
  - 物体：o5
  - o4是蓝色的
结论：o4是蓝色的什么？

邸内:
  - o4ディスクです
  - 公理:一色毎物体
  - プリズム紫色全てれる
  - o3プリズムです
  - 物体:o5
  - o4青いです
終わり:o4青いです何と?

Öncüller:
  - o4 bir disk
  - axiom: one renk per nesne
  - prizma mor bütün
  - o3 bir prizma
  - nesne: o5
  - o4 mavi
Conclusion: o4 mavi ne?

مُقَدِّمَة:
  - o4 قُرْص
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - كُلّ كَانَ الـ مَنْشُور أُرْجُوَانِيّ
  - o3 مَنْشُور
  - عُرْضَة o5
  - o4 أَزْرَق
نَتِيجَة o4 أَزْرَق مَاذَا؟

Premises:
  - o4 დისკი ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - პრიზმა იისფერი ყველა ყოფნა
  - o3 პრიზმა ყოფნა
  - საგანი o5
  - o4 ლურჯი ყოფნა
Conclusion o4 ლურჯი ყოფნა რა?

Premises:
  - o4 porotītiti
  - axiom tahi kano per ahanoa
  - all are te poro waiporoporo
  - o3 poro
  - ahanoa o5
  - o4 kahurangi
Whakamutunga o4 kahurangi unutai?

Tiền đề:
  - o4 là đĩa
  - chân lý một màu mỗi đồ vật
  - lăng kính mọi được đỏ tía
  - o3 là lăng kính
  - đồ vật o5
  - o4 là blue
Kết thúc o4 là blue gì?

ข้อตั้ง:
  - o4ถูกดิสก์
  - สัจพจน์:หนึ่งสีละวัตถุ
  - ปริซึมทั้งหมดถูกม่วง
  - o3ถูกปริซึม
  - วัตถุ:o5
  - o4ถูกน้ำเงิน
ข้อสรุป:o4ถูกน้ำเงินอะไร?

premises:
  - o4 disc
  - axiom ஒன்று நிறம் per object
  - பட்டகம் ஊதா எல்லா படு
  - o3 பட்டகம்
  - object o5
  - o4 நீலம்
conclusion o4 நீலம் என்ன?

Misingi ni:
  - o4 ni duara
  - axiom: one rangi per kitu
  - prizma zote ni zambarau
  - o3 ni prizma
  - kitu: o5
  - o4 ni buluu
Conclusion: o4 ni buluu nini?

Premises:
  - o4 disc átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - prism tsédídéehgo dootłʼizh tʼáá ałtso átʼé
  - o3 prism átʼé
  - object o5
  - o4 dootłʼizh átʼé
Ałtso bééʼdeetánígíí o4 dootłʼizh átʼé haʼátʼíísh?

Premises:
  - o4 disc a
  - axiom ataaseq qalipaat per susaq
  - prism purple all a
  - o3 prism a
  - susaq o5
  - o4 tungujortoq a
Conclusion o4 tungujortoq a what?

Premises:
  - o4 disc
  - axiom wanpela kala per object
  - prism olgeta are hap ret
  - o3 prism
  - object o5
  - o4 blu
Conclusion o4 blu what?

Premises:
  - o4 disc
  - axiom kwëti color per object
  - prism all are chàkinkwèmikte
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue kwèch?

Premises:
  - o4 хила disc
  - axiom one бос per object
  - prism all хила purple
  - o3 хила prism
  - object o5
  - o4 хила blue
Conclusion o4 хила blue фу?

premises:
  - o4 디스크
  - 공리 하나 색깔 per object
  - 프리즘 보라색의 모든 아르
  - o3 프리즘
  - object o5
  - o4 푸르다
종결 o4 푸르다 무엇?

Premises:
  - o4 disc bat dago
  - axiom bat kolore per object
  - prisma gorrindol oro izan
  - o3 prisma bat dago
  - object o5
  - o4 urdin dago
Conclusion o4 urdin dago zer?

Premises:
  - o4 disc
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - prism ᏂᎦᏛ are ᏕᎷᎨ
  - o3 prism
  - object o5
  - o4 ᏌᎪᏂᎨᎢ
What conclusion o4 ᏌᎪᏂᎨᎢ?

Premises:
  - o4 tiyay disc
  - axiom huk llimphi per kutipakuy
  - prism llapa tiyay kulli
  - o3 tiyay prism
  - kutipakuy o5
  - o4 tiyay anqas
Conclusion o4 tiyay anqas what?

Premises:
  - o4 disc
  - axiom зы color per object
  - prism purple all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue сыд?

Premises:
  - o4 disc
  - axiom ib xim per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 xiav
Conclusion o4 xiav what?

Premises:
  - o4 disc
  - axiom ganbu color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue ining-jak?

Premises:
  - o4 disc
  - axiom chaffa color per object
  - prism bíyyi'ka are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue nanta?

Premises:
  - o4 disc
  - axiom シネ color per object
  - prism purple all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom ыннен пэран per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 ныԓиԓиԓӄин
Conclusion o4 ныԓиԓиԓӄин what?

Premises:
  - o4 yan disc
  - axiom hun color per object
  - prism all yan purple
  - o3 yan prism
  - object o5
  - o4 yan blue
Conclusion o4 yan blue what?

Premises:
  - o4 disc
  - axiom one color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue híli?

Premises:
  - o4 disc
  - axiom waŋží color per object
  - prism šátȟo all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom peteĩ color per object
  - prism mayma are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 maya disc
  - axiom maya sami per object
  - prism purple all are
  - o3 maya prism
  - object o5
  - o4 larama
Conclusion o4 larama what?

Premises:
  - o4 ǀîi disc
  - axiom one color per object
  - prism all ǀîi purple
  - o3 ǀîi prism
  - object o5
  - o4 ǀîi blue
Conclusion o4 ǀîi blue what?

Premises:
  - o4 disc
  - axiom нин вал per object
  - prism purple all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom one color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom koli color per object
  - prism purple all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom one color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 nemi disc
  - axiom se color per object
  - ne prism muchi nemi purple
  - o3 nemi prism
  - object o5
  - o4 nemi blue
Conclusion o4 nemi blue tay?

Local :
  - o4 est un disque
  - axiome un couleur par objet
  - le prisme tout être violet
  - o3 est un prisme
  - objet o5
  - o4 est bleu
Quoi conclusion o4 est bleu ?

Premises:
  - o4 egali disko
  - aksiomo unu koloro graŭ objekto
  - prismo ĉiuj egali purpura
  - o3 egali prismo
  - objekto o5
  - o4 egali blua
Konkludo o4 egali blua kio?

Birtok:
  - o4 lemez
  - axióma egy szín per tárgy
  - a hasáb minden van bíbort
  - o3 hasáb
  - tárgy o5
  - o4 kék
Következtetés o4 kék melyik?

premises:
  - o4是一disc
  - axiom:一色perobject
  - prism所有是紫色
  - o3是一prism
  - object:o5
  - o4是藍色嘅
conclusion:o4是藍色嘅乜嘢?

Premises:
  - o4 有ん disc
  - axiom 一 color per object
  - prism all 有ん purple
  - o3 有ん prism
  - object o5
  - o4 有ん blue
Conclusion o4 有ん blue what?

Алғышарт:
  - o4 диск
  - аксиома бір түс per объект
  - призма all are күлгін
  - o3 призма
  - объект o5
  - o4 көк
Тұжырым o4 көк не?

הנחו:
  - o4 הוּא דִּיסְק אֶחָד
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - מִנְסָרָה ה־ כֹּל הוא סָגֹל
  - o3 הוּא מִנְסָרָה אַחַת
  - אוֹבְּיֶקְט o5
  - o4 הוּא כָּחוֹל
איזה מסקנה o4 הוּא כָּחוֹל?

Premises:
  - o4 disc
  - axiom one color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 adalah cakram
  - aksioma satu warna per objek
  - prisma si semua berada ungu
  - o3 adalah prisma
  - objek o5
  - o4 adalah biru
Kesimpulan o4 adalah biru apa?

premises:
  - o4ត្រូវបានដួង
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
  - ព្រីសទាំងអស់ត្រូវបានពណ៌ស្វាយ
  - o3ត្រូវបានព្រីស
  - វត្ថុ:o5
  - o4ត្រូវបានខៀវ
conclusion:o4ត្រូវបានខៀវអី?

premises:
  - o4ຢູ່ຈັກ
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
  - prismallຢູ່purple
  - o3ຢູ່prism
  - ອັນ:o5
  - o4ຢູ່ຟ້າ
ສະຫຼຸບ:o4ຢູ່ຟ້າຫຍັງ?

premises:
  - o4 disc ఉండు
  - axiom ఒకటి రంగు per object
  - పట్టకం ఊదా అందరూ ఉండు
  - o3 పట్టకం ఉండు
  - object o5
  - o4 నీలము ఉండు
conclusion o4 నీలము ఉండు ఏమిటి?

Premises:
  - o4 wà disc
  - axiom ọ̀kan color per object
  - prism gbogbo wà purple
  - o3 wà prism
  - object o5
  - o4 wà dúdú
What conclusion o4 wà dúdú?

Premises:
  - o4 disc naiágúóli
  - axiom dałaá color per object
  - prism purple all naiágúóli
  - o3 prism naiágúóli
  - object o5
  - o4 blue naiágúóli
Conclusion o4 blue naiágúóli what?

premises:
  - o4 disc
  - axiom ᐊᑕᐅᓯᖅ color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom wan color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blaw
Conclusion o4 blaw what?

Premises:
  - o4 disc
  - axiom náʼėstse color per object
  - prism all are purple
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue what?

Premises:
  - o4 disc
  - axiom сад ранг per object
  - prism purple all are
  - o3 prism
  - object o5
  - o4 blue
Conclusion o4 blue вуч?

The premises are:
  - o2 is green
  - the sphere all are red
  - o2 is a prism
  - o3 is a sphere
  - object o4
  - axiom one colour per object
What conclusion o3 is purple?

Las premisas son:
  - o2 es verde
  - la esfera todos son rojo
  - o2 es un prisma
  - o3 es una esfera
  - objeto: o4
  - el axioma: one es de color per objeto
¿Qué la conclusión: o3 es morado?

前提如下：
  - o2是绿色的
  - 这个球体全都是红色的
  - o2是一个棱镜
  - o3是一个球体
  - 物体：o4
  - 公理：one颜色per物体
结论：o3是紫色的什么？

Öncüller:
  - o2 yeşil
  - küre kırmızı bütün
  - o2 bir prizma
  - o3 bir küre
  - nesne: o4
  - axiom: one renk per nesne
Conclusion: o3 mor ne?

Misingi ni:
  - o2 ni kijani
  - tufe zote ni ekundu
  - o2 ni prizma
  - o3 ni tufe
  - kitu: o4
  - axiom: one rangi per kitu
Conclusion: o3 ni zambarau nini?

The premises are:
  - o2 is green
  - the sphere all are red
  - o2 is a prism
  - o3 is a sphere
  - object o4
  - axiom one colour per object
What conclusion o3 is violet?

{premises: [(color o2 green) (all_are sphere red) (shape o2 prism) (shape o3 sphere) (object o4) (axiom (one_color_per_object))], query: (conclusion (color o3 purple))}

Lokal:
  - o2 ist grüner
  - die Kugel alle werden rote
  - o2 ist ein Prisma
  - o3 ist eine Kugel
  - Gegenstand o4
  - Axiom eins Farbe je Gegenstand
Was Schluss o3 ist purpurner?

Premises:
  - o2 би̏ти зѐлен
  - сфе́ра са̏в би̏ти цр̀вен
  - o2 би̏ти при̏зма
  - o3 би̏ти сфе́ра
  - објекат o4
  - аксѝо̄м јѐдан бо̀ја per објекат
Conclusion o3 би̏ти пурпуран kakav?

Kiinteistö:
  - o2 on vihreä
  - pallo kaikki tulla punainen
  - o2 on prisma
  - o3 on pallo
  - esine o4
  - perusväite yksi väri per esine
Mikä päätös o3 on sinipunainen?

前提如下：
  - o2是绿色的
  - 这个球体全都是红色的
  - o2是一个棱镜
  - o3是一个球体
  - 物体：o4
  - 公理：one颜色per物体
结论：o3是紫色的什么？

邸内:
  - o2緑のです
  - 球赤い全てれる
  - o2プリズムです
  - o3球です
  - 物体:o4
  - 公理:一色毎物体
終わり:o3紫色です何と?

Öncüller:
  - o2 yeşil
  - küre kırmızı bütün
  - o2 bir prizma
  - o3 bir küre
  - nesne: o4
  - axiom: one renk per nesne
Conclusion: o3 mor ne?

مُقَدِّمَة:
  - o2 أَخْضَر
  - كُلّ كَانَ الـ كُرَة أَحْمَر
  - o2 مَنْشُور
  - o3 كُرَة
  - عُرْضَة o4
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
نَتِيجَة o3 أُرْجُوَانِيّ مَاذَا؟

Premises:
  - o2 მწვანე ყოფნა
  - სფერო წითელი ყველა ყოფნა
  - o2 პრიზმა ყოფნა
  - o3 სფერო ყოფნა
  - საგანი o4
  - აქსიომა ერთი ფერი per საგანი
Conclusion o3 იისფერი ყოფნა რა?

Premises:
  - o2 kākāriki
  - all are te poi red
  - o2 poro
  - o3 poi
  - ahanoa o4
  - axiom tahi kano per ahanoa
Whakamutunga o3 waiporoporo unutai?

Tiền đề:
  - o2 là green
  - mặt cầu mọi được đỏ
  - o2 là lăng kính
  - o3 là mặt cầu
  - đồ vật o4
  - chân lý một màu mỗi đồ vật
Kết thúc o3 là đỏ tía gì?

ข้อตั้ง:
  - o2ถูกเขียว
  - ทรงกลมทั้งหมดถูกแดง
  - o2ถูกปริซึม
  - o3ถูกทรงกลม
  - วัตถุ:o4
  - สัจพจน์:หนึ่งสีละวัตถุ
ข้อสรุป:o3ถูกม่วงอะไร?

premises:
  - o2 பச்சை
  - sphere சிவப்பு எல்லா படு
  - o2 பட்டகம்
  - o3 sphere
  - object o4
  - axiom ஒன்று நிறம் per object
conclusion o3 ஊதா என்ன?

Misingi ni:
  - o2 ni kijani
  - tufe zote ni ekundu
  - o2 ni prizma
  - o3 ni tufe
  - kitu: o4
  - axiom: one rangi per kitu
Conclusion: o3 ni zambarau nini?

Premises:
  - o2 dinootłʼizh átʼé
  - sphere łichííʼ tʼáá ałtso átʼé
  - o2 prism átʼé
  - o3 sphere átʼé
  - object o4
  - axiom łáaʼii nidaashchʼąąʼígíí per object
Ałtso bééʼdeetánígíí o3 tsédídéehgo dootłʼizh átʼé haʼátʼíísh?

Premises:
  - o2 qorsuk a
  - sphere aappalajaarpoq all a
  - o2 prism a
  - o3 sphere a
  - susaq o4
  - axiom ataaseq qalipaat per susaq
Conclusion o3 purple a what?

Premises:
  - o2 grinpela
  - sphere olgeta are ret
  - o2 prism
  - o3 sphere
  - object o4
  - axiom wanpela kala per object
Conclusion o3 hap ret what?

Premises:
  - o2 green
  - sphere all are màxke
  - o2 prism
  - o3 sphere
  - object o4
  - axiom kwëti color per object
Conclusion o3 chàkinkwèmikte kwèch?

Premises:
  - o2 хила баьццара
  - sphere all хила цӏе
  - o2 хила prism
  - o3 хила sphere
  - object o4
  - axiom one бос per object
Conclusion o3 хила purple фу?

premises:
  - o2 녹색의
  - 구체 빨갛다 모든 아르
  - o2 프리즘
  - o3 구체
  - object o4
  - 공리 하나 색깔 per object
종결 o3 보라색의 무엇?

Premises:
  - o2 berde dago
  - esfera gorri oro izan
  - o2 prisma bat dago
  - o3 esfera bat dago
  - object o4
  - axiom bat kolore per object
Conclusion o3 gorrindol dago zer?

Premises:
  - o2 ᎢᏤ ᎢᏳᏍᏗ
  - sphere ᏂᎦᏛ are ᎩᎦᎨ
  - o2 prism
  - o3 sphere
  - object o4
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
What conclusion o3 ᏕᎷᎨ?

Premises:
  - o2 tiyay waylla
  - sphere llapa tiyay puka
  - o2 tiyay prism
  - o3 tiyay sphere
  - kutipakuy o4
  - axiom huk llimphi per kutipakuy
Conclusion o3 tiyay kulli what?

Premises:
  - o2 уцышъо
  - sphere плъыжьы all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom зы color per object
Conclusion o3 purple сыд?

Premises:
  - o2 ntsuab
  - sphere all are liab
  - o2 prism
  - o3 sphere
  - object o4
  - axiom ib xim per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom ganbu color per object
Conclusion o3 purple ining-jak?

Premises:
  - o2 green
  - sphere bíyyi'ka are homa
  - o2 prism
  - o3 sphere
  - object o4
  - axiom chaffa color per object
Conclusion o3 purple nanta?

Premises:
  - o2 green
  - sphere フレ all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom シネ color per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere all are чеԓгыԓьын
  - o2 prism
  - o3 sphere
  - object o4
  - axiom ыннен пэран per object
Conclusion o3 purple what?

Premises:
  - o2 yan yaʼax
  - sphere all yan chak
  - o2 yan prism
  - o3 yan sphere
  - object o4
  - axiom hun color per object
Conclusion o3 yan purple what?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom one color per object
Conclusion o3 purple híli?

Premises:
  - o2 green
  - sphere red all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom waŋží color per object
Conclusion o3 šátȟo what?

Premises:
  - o2 green
  - sphere mayma are pytã
  - o2 prism
  - o3 sphere
  - object o4
  - axiom peteĩ color per object
Conclusion o3 purple what?

Premises:
  - o2 ch’uxña
  - sphere chupika all are
  - o2 maya prism
  - o3 maya sphere
  - object o4
  - axiom maya sami per object
Conclusion o3 purple what?

Premises:
  - o2 ǀîi green
  - sphere all ǀîi red
  - o2 ǀîi prism
  - o3 ǀîi sphere
  - object o4
  - axiom one color per object
Conclusion o3 ǀîi purple what?

Premises:
  - o2 green
  - sphere red all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom нин вал per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom one color per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere red all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom koli color per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom one color per object
Conclusion o3 purple what?

Premises:
  - o2 nemi green
  - ne sphere muchi nemi red
  - o2 nemi prism
  - o3 nemi sphere
  - object o4
  - axiom se color per object
Conclusion o3 nemi purple tay?

Local :
  - o2 est vert
  - la sphère tout être rouge
  - o2 est un prisme
  - o3 est une sphère
  - objet o4
  - axiome un couleur par objet
Quoi conclusion o3 est violet ?

Premises:
  - o2 egali verda
  - sfero ĉiuj egali ruĝa
  - o2 egali prismo
  - o3 egali sfero
  - objekto o4
  - aksiomo unu koloro graŭ objekto
Konkludo o3 egali purpura kio?

Birtok:
  - o2 zöld
  - a gömb minden van pirost
  - o2 hasáb
  - o3 gömb
  - tárgy o4
  - axióma egy szín per tárgy
Következtetés o3 bíbor melyik?

premises:
  - o2是綠色嘅
  - sphere所有是紅
  - o2是一prism
  - o3是一sphere
  - object:o4
  - axiom:一色perobject
conclusion:o3是紫色乜嘢?

Premises:
  - o2 有ん green
  - sphere all 有ん red
  - o2 有ん prism
  - o3 有ん sphere
  - object o4
  - axiom 一 color per object
Conclusion o3 有ん purple what?

Алғышарт:
  - o2 жасыл
  - сфера all are қызыл
  - o2 призма
  - o3 сфера
  - объект o4
  - аксиома бір түс per объект
Тұжырым o3 күлгін не?

הנחו:
  - o2 הוּא ירוק מקנאה
  - כַּדּוּר ה־ כֹּל הוא אָדוֹם
  - o2 הוּא מִנְסָרָה אַחַת
  - o3 הוּא כַּדּוּר אֶחָד
  - אוֹבְּיֶקְט o4
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
איזה מסקנה o3 הוּא סָגֹל?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom one color per object
Conclusion o3 purple what?

Premises:
  - o2 adalah hijau
  - bola si semua berada merah
  - o2 adalah prisma
  - o3 adalah bola
  - objek o4
  - aksioma satu warna per objek
Kesimpulan o3 adalah ungu apa?

premises:
  - o2ត្រូវបានបៃតង
  - គោលទាំងអស់ត្រូវបានក្រហម
  - o2ត្រូវបានព្រីស
  - o3ត្រូវបានគោល
  - វត្ថុ:o4
  - ស្វ័យសត្យ:មួយពណ៌perវត្ថុ
conclusion:o3ត្រូវបានពណ៌ស្វាយអី?

premises:
  - o2ຢູ່ຂຽວ
  - ຄະດີallຢູ່ແດງ
  - o2ຢູ່prism
  - o3ຢູ່ຄະດີ
  - ອັນ:o4
  - ກົດຄວາມຈິງ:ໜຶ່ງສີperອັນ
ສະຫຼຸບ:o3ຢູ່purpleຫຍັງ?

premises:
  - o2 పచ్చని ఉండు
  - గోళము ఎర్ర అందరూ ఉండు
  - o2 పట్టకం ఉండు
  - o3 గోళము ఉండు
  - object o4
  - axiom ఒకటి రంగు per object
conclusion o3 ఊదా ఉండు ఏమిటి?

Premises:
  - o2 wà green
  - sphere gbogbo wà pupa
  - o2 wà prism
  - o3 wà sphere
  - object o4
  - axiom ọ̀kan color per object
What conclusion o3 wà purple?

Premises:
  - o2 green naiágúóli
  - sphere łichíí all naiágúóli
  - o2 prism naiágúóli
  - o3 sphere naiágúóli
  - object o4
  - axiom dałaá color per object
Conclusion o3 purple naiágúóli what?

premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom ᐊᑕᐅᓯᖅ color per object
conclusion o3 purple what?

Premises:
  - o2 grun
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom wan color per object
Conclusion o3 purple what?

Premises:
  - o2 green
  - sphere all are red
  - o2 prism
  - o3 sphere
  - object o4
  - axiom náʼėstse color per object
Conclusion o3 purple what?

Premises:
  - o2 къацу
  - sphere red all are
  - o2 prism
  - o3 sphere
  - object o4
  - axiom сад ранг per object
Conclusion o3 purple вуч?

The premises are:
  - object o1
  - o5 is blue
  - o5 is a sphere
  - the rod all are orange
  - axiom one colour per object
  - o2 is a rod
What conclusion o5 is blue?

Las premisas son:
  - objeto: o1
  - o5 es azul
  - o5 es una esfera
  - la barra todos son naranja
  - el axioma: one es de color per objeto
  - o2 es una barra
¿Qué la conclusión: o5 es azul?

前提如下：
  - 物体：o1
  - o5是蓝色的
  - o5是一个球体
  - 这条杆全都是橙色的
  - 公理：one颜色per物体
  - o2是一条杆
结论：o5是蓝色的什么？

Öncüller:
  - nesne: o1
  - o5 mavi
  - o5 bir küre
  - çubuk turuncu bütün
  - axiom: one renk per nesne
  - o2 bir çubuk
Conclusion: o5 mavi ne?

Misingi ni:
  - kitu: o1
  - o5 ni buluu
  - o5 ni tufe
  - ufito zote ni chungwa
  - axiom: one rangi per kitu
  - o2 ni ufito
Conclusion: o5 ni buluu nini?

The premises are:
  - object o1
  - o5 is blue
  - o5 is a sphere
  - the rod all are orange
  - axiom one colour per object
  - o2 is a rod
What conclusion o5 is azure?

{premises: [(object o1) (color o5 blue) (shape o5 sphere) (all_are rod orange) (axiom (one_color_per_object)) (shape o2 rod)], query: (conclusion (color o5 blue))}

Lokal:
  - Gegenstand o1
  - o5 ist blauer
  - o5 ist eine Kugel
  - die Stange alle werden orange
  - Axiom eins Farbe je Gegenstand
  - o2 ist eine Stange
Was Schluss o5 ist blauer?

Premises:
  - објекат o1
  - o5 би̏ти пла̑в
  - o5 би̏ти сфе́ра
  - па̏лица са̏в би̏ти на̀ра̄нџаст
  - аксѝо̄м јѐдан бо̀ја per објекат
  - o2 би̏ти па̏лица
Conclusion o5 би̏ти пла̑в kakav?

Kiinteistö:
  - esine o1
  - o5 on sininen
  - o5 on pallo
  - tanko kaikki tulla oranssi
  - perusväite yksi väri per esine
  - o2 on tanko
Mikä päätös o5 on sininen?

前提如下：
  - 物体：o1
  - o5是蓝色的
  - o5是一个球体
  - 这条杆全都是橙色的
  - 公理：one颜色per物体
  - o2是一条杆
结论：o5是蓝色的什么？

邸内:
  - 物体:o1
  - o5青いです
  - o5球です
  - 棒オレンジ色の全てれる
  - 公理:一色毎物体
  - o2棒です
終わり:o5青いです何と?

Öncüller:
  - nesne: o1
  - o5 mavi
  - o5 bir küre
  - çubuk turuncu bütün
  - axiom: one renk per nesne
  - o2 bir çubuk
Conclusion: o5 mavi ne?

مُقَدِّمَة:
  - عُرْضَة o1
  - o5 أَزْرَق
  - o5 كُرَة
  - كُلّ كَانَ الـ عَصًا بُرْتُقَالِيّ
  - بَدِيهِيَّة وَاحِد لَوْن لِكُلّ عُرْضَة
  - o2 عَصًا
نَتِيجَة o5 أَزْرَق مَاذَا؟

Premises:
  - საგანი o1
  - o5 ლურჯი ყოფნა
  - o5 სფერო ყოფნა
  - კვერთხი ფორთოხალი ყველა ყოფნა
  - აქსიომა ერთი ფერი per საგანი
  - o2 კვერთხი ყოფნა
Conclusion o5 ლურჯი ყოფნა რა?

Premises:
  - ahanoa o1
  - o5 kahurangi
  - o5 poi
  - all are te rod orange
  - axiom tahi kano per ahanoa
  - o2 rod
Whakamutunga o5 kahurangi unutai?

Tiền đề:
  - đồ vật o1
  - o5 là blue
  - o5 là mặt cầu
  - que mọi được cam
  - chân lý một màu mỗi đồ vật
  - o2 là que
Kết thúc o5 là blue gì?

ข้อตั้ง:
  - วัตถุ:o1
  - o5ถูกน้ำเงิน
  - o5ถูกทรงกลม
  - แท่งทั้งหมดถูกส้ม
  - สัจพจน์:หนึ่งสีละวัตถุ
  - o2ถูกแท่ง
ข้อสรุป:o5ถูกน้ำเงินอะไร?

premises:
  - object o1
  - o5 நீலம்
  - o5 sphere
  - rod ஆரஞ்சு எல்லா படு
  - axiom ஒன்று நிறம் per object
  - o2 rod
conclusion o5 நீலம் என்ன?

Misingi ni:
  - kitu: o1
  - o5 ni buluu
  - o5 ni tufe
  - ufito zote ni chungwa
  - axiom: one rangi per kitu
  - o2 ni ufito
Conclusion: o5 ni buluu nini?

Premises:
  - object o1
  - o5 dootłʼizh átʼé
  - o5 sphere átʼé
  - rod chʼil łitsxooí tʼáá ałtso átʼé
  - axiom łáaʼii nidaashchʼąąʼígíí per object
  - o2 rod átʼé
Ałtso bééʼdeetánígíí o5 dootłʼizh átʼé haʼátʼíísh?

Premises:
  - susaq o1
  - o5 tungujortoq a
  - o5 sphere a
  - rod appelsiina all a
  - axiom ataaseq qalipaat per susaq
  - o2 rod a
Conclusion o5 tungujortoq a what?

Premises:
  - object o1
  - o5 blu
  - o5 sphere
  - rod olgeta are orange
  - axiom wanpela kala per object
  - o2 rod
Conclusion o5 blu what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod all are òlënchikte
  - axiom kwëti color per object
  - o2 rod
Conclusion o5 blue kwèch?

Premises:
  - object o1
  - o5 хила blue
  - o5 хила sphere
  - зӏак all хила orange
  - axiom one бос per object
  - o2 хила зӏак
Conclusion o5 хила blue фу?

premises:
  - object o1
  - o5 푸르다
  - o5 구체
  - 막대 주황색의 모든 아르
  - 공리 하나 색깔 per object
  - o2 막대
종결 o5 푸르다 무엇?

Premises:
  - object o1
  - o5 urdin dago
  - o5 esfera bat dago
  - haga laranja oro izan
  - axiom bat kolore per object
  - o2 haga bat dago
Conclusion o5 urdin dago zer?

Premises:
  - object o1
  - o5 ᏌᎪᏂᎨᎢ
  - o5 sphere
  - rod ᏂᎦᏛ are ᎣᏂᏥ
  - axiom ᏌᏊᎢ ᏗᎧᏃᏗ per object
  - o2 rod
What conclusion o5 ᏌᎪᏂᎨᎢ?

Premises:
  - kutipakuy o1
  - o5 tiyay anqas
  - o5 tiyay sphere
  - rod llapa tiyay killmu
  - axiom huk llimphi per kutipakuy
  - o2 tiyay rod
Conclusion o5 tiyay anqas what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod orange all are
  - axiom зы color per object
  - o2 rod
Conclusion o5 blue сыд?

Premises:
  - object o1
  - o5 xiav
  - o5 sphere
  - rod all are orange
  - axiom ib xim per object
  - o2 rod
Conclusion o5 xiav what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod all are orange
  - axiom ganbu color per object
  - o2 rod
Conclusion o5 blue ining-jak?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod bíyyi'ka are orange
  - axiom chaffa color per object
  - o2 rod
Conclusion o5 blue nanta?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod orange all are
  - axiom シネ color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 ныԓиԓиԓӄин
  - o5 sphere
  - rod all are orange
  - axiom ыннен пэран per object
  - o2 rod
Conclusion o5 ныԓиԓиԓӄин what?

Premises:
  - object o1
  - o5 yan blue
  - o5 yan sphere
  - rod all yan china
  - axiom hun color per object
  - o2 yan rod
Conclusion o5 yan blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod all are orange
  - axiom one color per object
  - o2 rod
Conclusion o5 blue híli?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod orange all are
  - axiom waŋží color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod mayma are narã
  - axiom peteĩ color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 larama
  - o5 maya sphere
  - rod orange all are
  - axiom maya sami per object
  - o2 maya rod
Conclusion o5 larama what?

Premises:
  - object o1
  - o5 ǀîi blue
  - o5 ǀîi sphere
  - rod all ǀîi orange
  - axiom one color per object
  - o2 ǀîi rod
Conclusion o5 ǀîi blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod orange all are
  - axiom нин вал per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod all are orange
  - axiom one color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod orange all are
  - axiom koli color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 blue
  - o5 sphere
  - rod all are orange
  - axiom one color per object
  - o2 rod
Conclusion o5 blue what?

Premises:
  - object o1
  - o5 nemi blue
  - o5 nemi sphere
  - ne rod muchi nemi orange
  - axiom se color per object
  - o2 nemi rod
Conclusion o5 nemi blue tay?

Local :
  - objet o1
  - o5 est bleu
  - o5 est une sphère
  - la tige tout être orange
  - axiome un couleur par objet
  - o2 est une tige
Quoi conclusion o5 est bleu ?

Premises:
  - objekto o1
  - o5 egali blua
  - o5 egali sfero
  - vergo ĉiuj egali oranĝa
  - aksiomo unu koloro graŭ objekto
  - o2 egali vergo
Konkludo o5 egali blua kio?

Birtok:
  - tárgy o1
  - o5 kék
  - o5 gömb
  - a bot minden van narancssárgát
  - axióma egy szín per tárgy
  - o2 bot
Következtetés o5 kék melyik?

premises:
  - object:o1
  - o5是藍色嘅
  - o5是一sphere
  - rod所有是橙色
  - axiom:一色perobject
  - o2是一rod
conclusion:o5是藍色嘅乜嘢?

Premises:
  - object o1
  - o5 有ん blue
  - o5 有ん sphere
  - rod all 有ん orange
  - axiom 一 color per object
  - o2 有ん rod
Conclusion o5 有ん blue what?

Алғышарт:
  - объект o1
  - o5 көк
  - o5 сфера
  - rod all are апельсин
  - аксиома бір түс per объект
  - o2 rod
Тұжырым o5 көк не?

הנחו:
  - אוֹבְּיֶקְט o1
  - o5 הוּא כָּחוֹל
  - o5 הוּא כַּדּוּר אֶחָד
  - מוֹט ה־ כֹּל הוא כתום
  - אַקְסְיוֹמָה אַחַת צֶבַע לכל אוֹבְּיֶקְט
  - o2 הוּא מוֹט אֶחָד
איזה מסקנה o5 הוּא כָּחוֹל?