The cow eats the lion. The cow is big. The cow is cold. The cow is red. The cow is round. The cow is young. The cow likes the lion. The cow needs the lion. The lion eats the cow. The lion is big. The lion is cold. The lion is red. The lion is round. The lion is young. The lion likes the cow. The lion needs the cow. If the cow is round then the cow needs the lion. If something eats the cow and the cow eats the lion then the cow is red. If the cow eats the lion then the cow is cold. If something needs the cow then the cow eats the lion. If something is red then it likes the cow. If something likes the cow then it eats the cow.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If the cow is round then the cow needs the lion.
((("cow" "is" "round" "+")) -> ("cow" "needs" "lion" "+"))
If something eats the cow and the cow eats the lion then the cow is red.
((("something" "eats" "cow" "+") ("cow" "eats" "lion" "+")) -> ("cow" "is" "red" "+"))
If the cow eats the lion then the cow is cold.
((("cow" "eats" "lion" "+")) -> ("cow" "is" "cold" "+"))
If something needs the cow then the cow eats the lion.
((("something" "needs" "cow" "+")) -> ("cow" "eats" "lion" "+"))
If something is red then it likes the cow.
((("something" "is" "red" "+")) -> ("something" "likes" "cow" "+"))
If something likes the cow then it eats the cow.
((("something" "likes" "cow" "+")) -> ("something" "eats" "cow" "+"))
The cow is round.
True
1
proof
[(triple5)]
("cow" "is" "round" "+")
triple5
The lion does not eat the cow.
False
1
inv-proof
[(triple9 OR ((triple15) -> rule6) OR ((((triple12) -> rule5)) -> rule6))]
("lion" "eats" "cow" "-")
triple9
((triple15) -> (rule6 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The cow likes the cow.
True
2
proof
[(((triple4) -> rule5) OR ((((triple9 triple1) -> rule2)) -> rule5) OR ((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5))]
("cow" "likes" "cow" "+")
((triple4) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((triple9 triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple9 ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((triple15) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((triple15) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
The cow does not like the cow.
False
2
inv-proof
[(((triple4) -> rule5) OR ((((triple9 triple1) -> rule2)) -> rule5) OR ((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5))]
("cow" "likes" "cow" "-")
((triple4) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((triple9 triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple9 ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((triple15) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((triple15) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
The cow eats the cow.
True
3
proof
[(((((triple4) -> rule5)) -> rule6) OR ((((((triple9 triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6))]
("cow" "eats" "cow" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((triple9 triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple9 ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((triple15) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple15) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int6))) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
The cow does not eat the cow.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule6) OR ((((((triple9 triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6))]
("cow" "eats" "cow" "-")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((triple9 triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple9 ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((triple15) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple15) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int6))) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cow eats the lion.[(triple1 OR ((triple16) -> rule4))] The cow is big.[(triple2)] The cow is cold.[(triple3 OR ((triple1) -> rule3) OR ((((triple16) -> rule4)) -> rule3))] The cow is red.[(triple4 OR ((triple9 triple1) -> rule2) OR ((triple9 ((triple16) -> rule4)) -> rule2) OR ((((triple15) -> rule6) triple1) -> rule2) OR ((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2) OR ((((((triple12) -> rule5)) -> rule6) triple1) -> rule2) OR ((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2))] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the lion.[(triple8 OR ((triple5) -> rule1))] The lion eats the cow.[(triple9 OR ((triple15) -> rule6) OR ((((triple12) -> rule5)) -> rule6))] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion is young.[(triple14)] The lion likes the cow.[(triple15 OR ((triple12) -> rule5))] The lion needs the cow.[(triple16)] @1: The cow likes the cow.[(((triple4) -> rule5) OR ((((triple9 triple1) -> rule2)) -> rule5) OR ((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5) OR ((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5))] @2: The cow eats the cow.[(((((triple4) -> rule5)) -> rule6) OR ((((((triple9 triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple9 ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple15) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule6) ((triple16) -> rule4)) -> rule2)) -> rule5)) -> rule6))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
((triple16) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
((triple1) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
((((triple16) -> (rule4 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is red.
("cow" "is" "red" "+")
triple4
((triple9 triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((triple9 ((triple16) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
((((triple15) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
((((triple15) -> (rule6 % int3)) ((triple16) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((triple12) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((((((triple12) -> (rule5 % int4))) -> (rule6 % int3)) ((triple16) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
((triple5) -> (rule1 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
triple9
((triple15) -> (rule6 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule6 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The lion likes the cow.
("lion" "likes" "cow" "+")
triple15
((triple12) -> (rule5 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
triple16
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple4) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((triple9 triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((triple9 ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
((((((triple15) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
((((((triple15) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple12) -> (rule5 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) ((triple16) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow eats the lion.
("cow" "eats" "lion" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
The cow eats the cow.
("cow" "eats" "cow" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
((((((triple9 triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple9 ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
((((((((triple15) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
((((((((triple15) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int5))) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
((((((((((triple12) -> (rule5 % int6))) -> (rule6 % int5)) ((triple16) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow eats the lion.
("cow" "eats" "lion" "+")
int4
The lion eats the cow.
("lion" "eats" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6