The cow is nice. The cow is round. The cow likes the mouse. The cow needs the mouse. The cow visits the mouse. The mouse is blue. The mouse is round. The mouse likes the cow. The mouse needs the cow. The mouse visits the cow. If someone likes the cow then they need the cow. If someone is nice then they visit the cow. If someone needs the cow and the cow is rough then they like the mouse. If someone needs the mouse then the mouse visits the cow. If someone visits the cow then the cow is rough. If someone is blue and they like the mouse then the mouse is kind.
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone likes the cow then they need the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "needs" "cow" "+"))
If someone is nice then they visit the cow.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "cow" "+"))
If someone needs the cow and the cow is rough then they like the mouse.
((("someone" "needs" "cow" "+") ("cow" "is" "rough" "+")) -> ("someone" "likes" "mouse" "+"))
If someone needs the mouse then the mouse visits the cow.
((("someone" "needs" "mouse" "+")) -> ("mouse" "visits" "cow" "+"))
If someone visits the cow then the cow is rough.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone is blue and they like the mouse then the mouse is kind.
((("someone" "is" "blue" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
The mouse is round.
True
1
proof
[(triple7)]
("mouse" "is" "round" "+")
triple7
The mouse does not visit the cow.
False
1
inv-proof
[(triple10 OR ((triple4) -> rule4))]
("mouse" "visits" "cow" "-")
triple10
((triple4) -> (rule4 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The cow is rough.
True
2
proof
[(((triple10) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))]
("cow" "is" "rough" "+")
((triple10) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The cow is not rough.
False
2
inv-proof
[(((triple10) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))]
("cow" "is" "rough" "-")
((triple10) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The mouse likes the mouse.
True
4
proof
[(((triple9 ((triple10) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3) OR ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3))]
("mouse" "likes" "mouse" "+")
((triple9 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int3
((triple9 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
((triple9 ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
The mouse does not like the mouse.
False
4
inv-proof
[(((triple9 ((triple10) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3) OR ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3))]
("mouse" "likes" "mouse" "-")
((triple9 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int3
((triple9 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
((triple9 ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
The mouse is kind.
True
6
proof
[(((triple6 ((triple9 ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6))]
("mouse" "is" "kind" "+")
((triple6 ((triple9 ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
((triple6 ((((triple8) -> (rule1 % int4)) ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((triple6 ((triple9 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
((triple6 ((triple9 ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5
The mouse is not kind.
False
6
inv-proof
[(((triple6 ((triple9 ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6))]
("mouse" "is" "kind" "-")
((triple6 ((triple9 ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
((triple6 ((((triple8) -> (rule1 % int4)) ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((triple6 ((triple9 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
((triple6 ((triple9 ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "cow" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
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 mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
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 is nice.[(triple1)] The cow is round.[(triple2)] The cow likes the mouse.[(triple3)] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse likes the cow.[(triple8)] The mouse needs the cow.[(triple9 OR ((triple8) -> rule1))] The mouse visits the cow.[(triple10 OR ((triple4) -> rule4))] @1: The cow is rough.[(((triple10) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] The cow visits the cow.[(((triple1) -> rule2))] @2: The mouse likes the mouse.[(((triple9 ((triple10) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3) OR ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3))] @3: The mouse is kind.[(((triple6 ((triple9 ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple8
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple9
((triple8) -> (rule1 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple10
((triple4) -> (rule4 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple10) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple1) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple9 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int3
((triple9 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
((triple9 ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
The mouse is kind.
("mouse" "is" "kind" "+")
((triple6 ((triple9 ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
((triple6 ((((triple8) -> (rule1 % int4)) ((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int4
((triple6 ((triple9 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
((triple6 ((triple9 ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int5