The cat is big. The cat is kind. The cat likes the mouse. The cat visits the cow. The cat visits the mouse. The cow is nice. The cow likes the cat. The cow needs the cat. The cow needs the mouse. The cow visits the cat. The cow visits the mouse. The mouse visits the cat. If someone likes the cow and they are big then the cow is nice. Big, red people are kind. If someone visits the cow then the cow needs the cat. If someone needs the cat then they are red. If someone visits the cat then they need the cow. If the cow is red then the cow is big. If the mouse likes the cow and the cow visits the mouse then the cow needs the mouse. If someone is nice and they visit the mouse then they need the cat.
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone likes the cow and they are big then the cow is nice.
((("someone" "likes" "cow" "+") ("someone" "is" "big" "+")) -> ("cow" "is" "nice" "+"))
Big, red people are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the cow then the cow needs the cat.
((("someone" "visits" "cow" "+")) -> ("cow" "needs" "cat" "+"))
If someone needs the cat then they are red.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "red" "+"))
If someone visits the cat then they need the cow.
((("someone" "visits" "cat" "+")) -> ("someone" "needs" "cow" "+"))
If the cow is red then the cow is big.
((("cow" "is" "red" "+")) -> ("cow" "is" "big" "+"))
If the mouse likes the cow and the cow visits the mouse then the cow needs the mouse.
((("mouse" "likes" "cow" "+") ("cow" "visits" "mouse" "+")) -> ("cow" "needs" "mouse" "+"))
If someone is nice and they visit the mouse then they need the cat.
((("someone" "is" "nice" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "needs" "cat" "+"))
The cat likes the mouse.
True
1
proof
[(triple3)]
("cat" "likes" "mouse" "+")
triple3
The cow does not visit the mouse.
False
1
inv-proof
[(triple11)]
("cow" "visits" "mouse" "-")
triple11
The cow is red.
True
2
proof
[(((triple8) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6 triple11) -> rule8)) -> rule4))]
("cow" "is" "red" "+")
((triple8) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is not red.
False
2
inv-proof
[(((triple8) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6 triple11) -> rule8)) -> rule4))]
("cow" "is" "red" "-")
((triple8) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
True
3
proof
[(((((triple8) -> rule4)) -> rule6) OR ((((((triple4) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6))]
("cow" "is" "big" "+")
((((triple8) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
((((((triple6 triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The cow is not big.
False
3
inv-proof
[(((((triple8) -> rule4)) -> rule6) OR ((((((triple4) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6))]
("cow" "is" "big" "-")
((((triple8) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
((((((triple6 triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The cow is kind.
True
6
proof
[(((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2))]
("cow" "is" "kind" "+")
((((((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
The cow is not kind.
False
6
inv-proof
[(((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2))]
("cow" "is" "kind" "-")
((((((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
The mouse is not red.
Unknown
inv-rconc
[@2: The mouse is red.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("mouse" "is" "red" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "kind" "+")
The mouse does not need the cat.
Unknown
inv-rconc
[@1: The mouse needs the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "needs" "cat" "-")
The cat is red.
Unknown
rconc
[@2: The cat is red.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("cat" "is" "red" "+")
The cow does not like the mouse.
Unknown
inv-random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cat likes the cow.
Unknown
random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "+")
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the mouse.[(triple5)] The cow is nice.[(triple6)] The cow likes the cat.[(triple7)] The cow needs the cat.[(triple8 OR ((triple4) -> rule3) OR ((triple6 triple11) -> rule8))] The cow needs the mouse.[(triple9)] The cow visits the cat.[(triple10)] The cow visits the mouse.[(triple11)] The mouse visits the cat.[(triple12)] @1: The cow is red.[(((triple8) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6 triple11) -> rule8)) -> rule4))] The cow needs the cow.[(((triple10) -> rule5))] The mouse needs the cow.[(((triple12) -> rule5))] @2: The cow is big.[(((((triple8) -> rule4)) -> rule6) OR ((((((triple4) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6))] @3: The cow is kind.[(((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat visits the cow.
("cat" "visits" "cow" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The cow needs the cat.
("cow" "needs" "cat" "+")
triple8
((triple4) -> (rule3 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
((triple6 triple11) -> (rule8 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple9
The cow visits the cat.
("cow" "visits" "cat" "+")
triple10
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple11
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
((triple8) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple10) -> (rule5 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
((triple12) -> (rule5 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((((triple8) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
((((((triple6 triple11) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
((((((triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple6 triple11) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow needs the cat.
("cow" "needs" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow is red.
("cow" "is" "red" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4
((((((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple11) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The cow needs the cat.
("cow" "needs" "cat" "+")
int4