The cow chases the mouse. The cow eats the mouse. The cow is red. The mouse chases the cow. The mouse eats the cow. The mouse is blue. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the cow. If someone chases the cow then the cow eats the mouse. If someone eats the cow and the cow eats the mouse then the cow is young. If the cow eats the mouse then the mouse eats the cow. If the cow is red and the cow is young then the cow is kind. If someone eats the mouse and they are blue then the mouse chases the cow. If someone eats the cow and the cow chases the mouse then the cow is rough. If someone eats the mouse and the mouse is red then the mouse eats the cow. If the mouse likes the cow then the cow is young.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is red.
("cow" "is" "red" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If someone chases the cow then the cow eats the mouse.
((("someone" "chases" "cow" "+")) -> ("cow" "eats" "mouse" "+"))
If someone eats the cow and the cow eats the mouse then the cow is young.
((("someone" "eats" "cow" "+") ("cow" "eats" "mouse" "+")) -> ("cow" "is" "young" "+"))
If the cow eats the mouse then the mouse eats the cow.
((("cow" "eats" "mouse" "+")) -> ("mouse" "eats" "cow" "+"))
If the cow is red and the cow is young then the cow is kind.
((("cow" "is" "red" "+") ("cow" "is" "young" "+")) -> ("cow" "is" "kind" "+"))
If someone eats the mouse and they are blue then the mouse chases the cow.
((("someone" "eats" "mouse" "+") ("someone" "is" "blue" "+")) -> ("mouse" "chases" "cow" "+"))
If someone eats the cow and the cow chases the mouse then the cow is rough.
((("someone" "eats" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("cow" "is" "rough" "+"))
If someone eats the mouse and the mouse is red then the mouse eats the cow.
((("someone" "eats" "mouse" "+") ("mouse" "is" "red" "+")) -> ("mouse" "eats" "cow" "+"))
If the mouse likes the cow then the cow is young.
((("mouse" "likes" "cow" "+")) -> ("cow" "is" "young" "+"))
The mouse is kind.
True
1
proof
[(triple7)]
("mouse" "is" "kind" "+")
triple7
The mouse is not young.
False
1
inv-proof
[(triple9)]
("mouse" "is" "young" "-")
triple9
The cow is rough.
True
3
proof
[(((triple5 triple1) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule6) OR ((((triple2 triple8) -> rule7) triple1) -> rule6) OR ((((((triple4) -> rule1)) -> rule3) triple1) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule7) triple1) -> rule6))]
("cow" "is" "rough" "+")
((triple5 triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2 triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The cow is not rough.
False
3
inv-proof
[(((triple5 triple1) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule6) OR ((((triple2 triple8) -> rule7) triple1) -> rule6) OR ((((((triple4) -> rule1)) -> rule3) triple1) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule7) triple1) -> rule6))]
("cow" "is" "rough" "-")
((triple5 triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2 triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The cow is kind.
True
4
proof
[(((triple3 ((triple10) -> rule8)) -> rule4) OR ((triple3 ((triple5 triple2) -> rule2)) -> rule4) OR ((triple3 ((triple5 ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4))]
("cow" "is" "kind" "+")
((triple3 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((triple3 ((((triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2 triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2) -> (rule3 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((triple2 triple8) -> (rule7 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
The cow is not kind.
False
4
inv-proof
[(((triple3 ((triple10) -> rule8)) -> rule4) OR ((triple3 ((triple5 triple2) -> rule2)) -> rule4) OR ((triple3 ((triple5 ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4))]
("cow" "is" "kind" "-")
((triple3 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((triple3 ((((triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2 triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2) -> (rule3 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((triple2 triple8) -> (rule7 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
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 mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
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 cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
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 chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2 OR ((triple4) -> rule1))] The cow is red.[(triple3)] The mouse chases the cow.[(triple4)] The mouse eats the cow.[(triple5 OR ((triple2) -> rule3) OR ((triple2 triple8) -> rule7) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule1) triple8) -> rule7))] The mouse is blue.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse is young.[(triple9)] The mouse likes the cow.[(triple10)] @1: The cow is rough.[(((triple5 triple1) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule6) OR ((((triple2 triple8) -> rule7) triple1) -> rule6) OR ((((((triple4) -> rule1)) -> rule3) triple1) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule7) triple1) -> rule6))] The cow is young.[(((triple10) -> rule8) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2) OR ((((triple2 triple8) -> rule7) triple2) -> rule2) OR ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule2) OR ((((triple2 triple8) -> rule7) ((triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) triple2) -> rule2) OR ((((((triple4) -> rule1) triple8) -> rule7) triple2) -> rule2) OR ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule1) triple8) -> rule7) ((triple4) -> rule1)) -> rule2))] @2: The cow is kind.[(((triple3 ((triple10) -> rule8)) -> rule4) OR ((triple3 ((triple5 triple2) -> rule2)) -> rule4) OR ((triple3 ((triple5 ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((triple2 triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) triple2) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule2)) -> rule4) OR ((triple3 ((((((triple4) -> rule1) triple8) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule4))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
((triple4) -> (rule1 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow is red.
("cow" "is" "red" "+")
triple3
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple5
((triple2) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((triple2 triple8) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
((((triple4) -> (rule1 % int2)) triple8) -> (rule7 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
((triple5 triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2 triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple1) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The cow is young.
("cow" "is" "young" "+")
((triple10) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple5 triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple5 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2 triple8) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((triple2 triple8) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple4) -> (rule1 % int3))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((((((triple4) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((triple4) -> (rule1 % int3))) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
((triple3 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((triple3 ((triple5 ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
((triple3 ((((triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2 triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
((triple3 ((((triple2) -> (rule3 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((triple2 triple8) -> (rule7 % int4)) ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int3
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4
((triple3 ((((((triple4) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple4) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int4