The cow eats the mouse. The cow needs the dog. The dog eats the cow. The dog eats the mouse. The dog is blue. The dog is young. The mouse eats the dog. The mouse is rough. The mouse sees the dog. The squirrel needs the dog. The squirrel sees the cow. If someone needs the squirrel then the squirrel needs the cow. If someone needs the dog then the dog sees the mouse. If someone needs the cow then the cow sees the mouse. If someone is red and they eat the squirrel then they are kind. If someone eats the dog and they are rough then the dog is rough. If someone is young then they need the dog. If someone sees the mouse and they need the mouse then they are kind. If someone sees the mouse then they need the squirrel.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone needs the squirrel then the squirrel needs the cow.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
If someone needs the dog then the dog sees the mouse.
((("someone" "needs" "dog" "+")) -> ("dog" "sees" "mouse" "+"))
If someone needs the cow then the cow sees the mouse.
((("someone" "needs" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If someone is red and they eat the squirrel then they are kind.
((("someone" "is" "red" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the dog and they are rough then the dog is rough.
((("someone" "eats" "dog" "+") ("someone" "is" "rough" "+")) -> ("dog" "is" "rough" "+"))
If someone is young then they need the dog.
((("someone" "is" "young" "+")) -> ("someone" "needs" "dog" "+"))
If someone sees the mouse and they need the mouse then they are kind.
((("someone" "sees" "mouse" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the mouse then they need the squirrel.
((("someone" "sees" "mouse" "+")) -> ("someone" "needs" "squirrel" "+"))
The dog eats the mouse.
True
1
proof
[(triple4)]
("dog" "eats" "mouse" "+")
triple4
The mouse does not eat the dog.
False
1
inv-proof
[(triple7)]
("mouse" "eats" "dog" "-")
triple7
The dog needs the dog.
True
2
proof
[(((triple6) -> rule6))]
("dog" "needs" "dog" "+")
((triple6) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule5))]
("dog" "is" "rough" "-")
((triple7 triple8) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the squirrel.
True
3
proof
[(((((triple10) -> rule2)) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple6) -> rule6)) -> rule2)) -> rule8))]
("dog" "needs" "squirrel" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog does not need the squirrel.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple6) -> rule6)) -> rule2)) -> rule8))]
("dog" "needs" "squirrel" "-")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The squirrel needs the cow.
True
4
proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1))]
("squirrel" "needs" "cow" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The squirrel does not need the cow.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1))]
("squirrel" "needs" "cow" "-")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The cow sees the mouse.
True
5
proof
[(((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3))]
("cow" "sees" "mouse" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The cow does not see the mouse.
False
5
inv-proof
[(((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3))]
("cow" "sees" "mouse" "-")
((((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The cow needs the squirrel.
True
6
proof
[(((((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8))]
("cow" "needs" "squirrel" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The cow does not need the squirrel.
False
6
inv-proof
[(((((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8))]
("cow" "needs" "squirrel" "-")
((((((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse needs the squirrel.
Unknown
rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "needs" "squirrel" "+")
The mouse does not need the dog.
Unknown
inv-rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "dog" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "kind" "+")
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "kind" "-")
The dog is kind.
Unknown
rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "kind" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The cow sees the dog.
Unknown
random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The dog does not need the cow.
Unknown
inv-random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cow eats the mouse.[(triple1)] The cow needs the dog.[(triple2)] The dog eats the cow.[(triple3)] The dog eats the mouse.[(triple4)] The dog is blue.[(triple5)] The dog is young.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is rough.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel needs the dog.[(triple10)] The squirrel sees the cow.[(triple11)] @1: The dog is rough.[(((triple7 triple8) -> rule5))] The dog needs the dog.[(((triple6) -> rule6))] The dog sees the mouse.[(((triple10) -> rule2) OR ((triple2) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] @2: The dog needs the squirrel.[(((((triple10) -> rule2)) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple6) -> rule6)) -> rule2)) -> rule8))] @3: The squirrel needs the cow.[(((((((triple10) -> rule2)) -> rule8)) -> rule1) OR ((((((triple2) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1))] @4: The cow sees the mouse.[(((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3))] @5: The cow needs the squirrel.[(((((((((((triple10) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple2) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple6) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule3)) -> rule8))]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The dog is rough.
("dog" "is" "rough" "+")
((triple7 triple8) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple6) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
((triple10) -> (rule2 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
((triple2) -> (rule2 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((triple2) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int5
The dog needs the dog.
("dog" "needs" "dog" "+")
int6