The lion eats the mouse. The lion is blue. The lion is green. The lion is nice. The lion is rough. The lion is young. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse is green. The mouse is nice. The mouse is rough. The mouse is young. The mouse sees the lion. The mouse visits the lion. If someone is nice then they eat the lion. If someone is young then they visit the mouse. If the lion eats the mouse then the lion visits the mouse. If someone eats the mouse then the mouse sees the lion. If the lion sees the mouse and the lion visits the mouse then the mouse is blue. If someone visits the lion and they are blue then they see the mouse. If someone visits the lion and they eat the lion then they are blue. If someone is rough then they visit the lion.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone is nice then they eat the lion.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "lion" "+"))
If someone is young then they visit the mouse.
((("someone" "is" "young" "+")) -> ("someone" "visits" "mouse" "+"))
If the lion eats the mouse then the lion visits the mouse.
((("lion" "eats" "mouse" "+")) -> ("lion" "visits" "mouse" "+"))
If someone eats the mouse then the mouse sees the lion.
((("someone" "eats" "mouse" "+")) -> ("mouse" "sees" "lion" "+"))
If the lion sees the mouse and the lion visits the mouse then the mouse is blue.
((("lion" "sees" "mouse" "+") ("lion" "visits" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone visits the lion and they are blue then they see the mouse.
((("someone" "visits" "lion" "+") ("someone" "is" "blue" "+")) -> ("someone" "sees" "mouse" "+"))
If someone visits the lion and they eat the lion then they are blue.
((("someone" "visits" "lion" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they visit the lion.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "lion" "+"))
The lion is nice.
True
1
proof
[(triple4)]
("lion" "is" "nice" "+")
triple4
The lion is not young.
False
1
inv-proof
[(triple6)]
("lion" "is" "young" "-")
triple6
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2 OR ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7))] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion sees the mouse.[(triple7 OR ((((triple5) -> rule8) triple2) -> rule6) OR ((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6))] The lion visits the mouse.[(triple8 OR ((triple1) -> rule3) OR ((triple6) -> rule2))] The mouse eats the lion.[(triple9 OR ((triple12) -> rule1))] The mouse is blue.[(triple10 OR ((triple16 triple9) -> rule7) OR ((triple7 triple8) -> rule5) OR ((triple16 ((triple12) -> rule1)) -> rule7) OR ((triple7 ((triple1) -> rule3)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule5) OR ((((triple13) -> rule8) triple9) -> rule7) OR ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7) OR ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5) OR ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5))] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse sees the lion.[(triple15 OR ((triple1) -> rule4))] The mouse visits the lion.[(triple16 OR ((triple13) -> rule8))] @1: The lion eats the lion.[(((triple4) -> rule1))] The lion visits the lion.[(((triple5) -> rule8))] The mouse sees the mouse.[(((triple16 triple10) -> rule6) OR ((triple16 ((triple16 triple9) -> rule7)) -> rule6) OR ((triple16 ((triple7 triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) triple10) -> rule6) OR ((((triple13) -> rule8) ((triple16 triple9) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple7 triple8) -> rule5)) -> rule6) OR ((triple16 ((triple16 ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((triple16 ((triple7 ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((triple16 ((((triple13) -> rule8) triple9) -> rule7)) -> rule6) OR ((triple16 ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple16 ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((triple7 ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((triple13) -> rule8) triple9) -> rule7)) -> rule6) OR ((((triple13) -> rule8) ((((triple13) -> rule8) ((triple12) -> rule1)) -> rule7)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) triple2) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple16 ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) triple8) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple13) -> rule8) ((((((triple5) -> rule8) ((((triple5) -> rule8) ((triple4) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule2)) -> rule5)) -> rule6))] The mouse visits the mouse.[(((triple14) -> rule2))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
((((triple5) -> (rule8 % int3)) ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
((((triple5) -> (rule8 % int2)) triple2) -> (rule6 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
((((triple5) -> (rule8 % int4)) ((((triple5) -> (rule8 % int4)) ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
((triple1) -> (rule3 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
((triple6) -> (rule2 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
((triple12) -> (rule1 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
((triple16 triple9) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple7 triple8) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple16 ((triple12) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
((triple7 ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
((triple7 ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
((((triple13) -> (rule8 % int2)) triple9) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
((((triple13) -> (rule8 % int3)) ((triple12) -> (rule1 % int2))) -> (rule7 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((((((triple5) -> (rule8 % int3)) triple2) -> (rule6 % int2)) triple8) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
((((((triple5) -> (rule8 % int4)) triple2) -> (rule6 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4
((((((triple5) -> (rule8 % int4)) triple2) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4
((((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule8 % int5)) ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple8) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
int5
((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6)) ((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion visits the lion.
("lion" "visits" "lion" "+")
int6
((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6)) ((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion visits the lion.
("lion" "visits" "lion" "+")
int6
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple15
((triple1) -> (rule4 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple16
((triple13) -> (rule8 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple4) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple5) -> (rule8 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple16 triple10) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
((triple16 ((triple16 triple9) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((triple16 ((triple7 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
((((triple13) -> (rule8 % int2)) triple10) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
((((triple13) -> (rule8 % int3)) ((triple16 triple9) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((((triple13) -> (rule8 % int3)) ((triple7 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((triple16 ((triple16 ((triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
((triple16 ((triple7 ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple16 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
((triple16 ((((triple13) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((triple16 ((((triple13) -> (rule8 % int4)) ((triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((((triple13) -> (rule8 % int4)) ((triple16 ((triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((((triple13) -> (rule8 % int4)) ((triple7 ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((((triple13) -> (rule8 % int4)) ((triple7 ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((((triple13) -> (rule8 % int3)) ((((triple13) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int3
((((triple13) -> (rule8 % int4)) ((((triple13) -> (rule8 % int4)) ((triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int4
((triple16 ((((((triple5) -> (rule8 % int4)) triple2) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4
((triple16 ((((((triple5) -> (rule8 % int5)) triple2) -> (rule6 % int4)) ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
int5
((triple16 ((((((triple5) -> (rule8 % int5)) triple2) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
int5
((((triple13) -> (rule8 % int5)) ((((((triple5) -> (rule8 % int4)) triple2) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion visits the lion.
("lion" "visits" "lion" "+")
int4
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int5
((((triple13) -> (rule8 % int6)) ((((((triple5) -> (rule8 % int5)) triple2) -> (rule6 % int4)) ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
int5
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int6
((((triple13) -> (rule8 % int6)) ((((((triple5) -> (rule8 % int5)) triple2) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion visits the lion.
("lion" "visits" "lion" "+")
int5
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int6
((triple16 ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6)) ((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion visits the lion.
("lion" "visits" "lion" "+")
int6
((triple16 ((((((triple5) -> (rule8 % int7)) ((((triple5) -> (rule8 % int7)) ((triple4) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
The lion visits the lion.
("lion" "visits" "lion" "+")
int7
((triple16 ((((((triple5) -> (rule8 % int7)) ((((triple5) -> (rule8 % int7)) ((triple4) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
The lion visits the lion.
("lion" "visits" "lion" "+")
int7
((((triple13) -> (rule8 % int7)) ((((((triple5) -> (rule8 % int6)) ((((triple5) -> (rule8 % int6)) ((triple4) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion visits the lion.
("lion" "visits" "lion" "+")
int6
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int7
((((triple13) -> (rule8 % int8)) ((((((triple5) -> (rule8 % int7)) ((((triple5) -> (rule8 % int7)) ((triple4) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
The lion visits the lion.
("lion" "visits" "lion" "+")
int7
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int8
((((triple13) -> (rule8 % int8)) ((((((triple5) -> (rule8 % int7)) ((((triple5) -> (rule8 % int7)) ((triple4) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
The lion visits the lion.
("lion" "visits" "lion" "+")
int7
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int8
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple14) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1