The bald eagle eats the mouse. The bald eagle is cold. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is cold. The mouse is young. The mouse likes the bald eagle. The mouse likes the squirrel. The mouse visits the bald eagle. The mouse visits the squirrel. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is young. The squirrel visits the bald eagle. The squirrel visits the mouse. If something visits the bald eagle then it is rough. If something eats the bald eagle and the bald eagle likes the squirrel then the bald eagle eats the squirrel. If something is cold then it likes the mouse. If something is cold then it eats the bald eagle. If something likes the bald eagle and the bald eagle likes the mouse then it likes the mouse. If something is rough and it eats the bald eagle then the bald eagle likes the squirrel.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something visits the bald eagle then it is rough.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something eats the bald eagle and the bald eagle likes the squirrel then the bald eagle eats the squirrel.
((("something" "eats" "bald eagle" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If something is cold then it likes the mouse.
((("something" "is" "cold" "+")) -> ("something" "likes" "mouse" "+"))
If something is cold then it eats the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "eats" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle likes the mouse then it likes the mouse.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If something is rough and it eats the bald eagle then the bald eagle likes the squirrel.
((("something" "is" "rough" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The bald eagle is cold.
True
1
proof
[(triple2)]
("bald eagle" "is" "cold" "+")
triple2
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple11 OR ((triple12) -> rule4))]
("squirrel" "eats" "bald eagle" "-")
triple11
((triple12) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple2) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "eats" "bald eagle" "-")
((triple2) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
True
4
proof
[(((((triple14) -> rule1) triple11) -> rule6) OR ((((triple9) -> rule1) triple4) -> rule6) OR ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6))]
("bald eagle" "likes" "squirrel" "+")
((((triple14) -> (rule1 % int2)) triple11) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle does not like the squirrel.
False
4
inv-proof
[(((((triple14) -> rule1) triple11) -> rule6) OR ((((triple9) -> rule1) triple4) -> rule6) OR ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6))]
("bald eagle" "likes" "squirrel" "-")
((((triple14) -> (rule1 % int2)) triple11) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle eats the squirrel.
True
6
proof
[(((triple11 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple11 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2))]
("bald eagle" "eats" "squirrel" "+")
((triple11 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple11 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple4 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple4 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple11 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple11 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple4 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple4 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
The bald eagle does not eat the squirrel.
False
6
inv-proof
[(((triple11 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple11 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2))]
("bald eagle" "eats" "squirrel" "-")
((triple11 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple11 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple4 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple4 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple11 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple11 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple4 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple4 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The squirrel eats the mouse.
Unknown
random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse eats the bald eagle.[(triple4 OR ((triple5) -> rule4))] The mouse is cold.[(triple5)] The mouse is young.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the squirrel.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11 OR ((triple12) -> rule4))] The squirrel is cold.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule4))] The bald eagle likes the mouse.[(((triple2) -> rule3))] The mouse is rough.[(((triple9) -> rule1))] The mouse likes the mouse.[(((triple5) -> rule3) OR ((triple7 ((triple2) -> rule3)) -> rule5))] The squirrel is rough.[(((triple14) -> rule1))] The squirrel likes the mouse.[(((triple12) -> rule3))] @2: The bald eagle likes the squirrel.[(((((triple14) -> rule1) triple11) -> rule6) OR ((((triple9) -> rule1) triple4) -> rule6) OR ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6) OR ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6))] @3: The bald eagle eats the squirrel.[(((triple11 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((triple11 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple11 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((triple4 ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) triple11) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) triple4) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple2) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple14) -> rule1) ((triple12) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule4) ((((triple9) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule2))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
((triple5) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
((triple12) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple2) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
((triple2) -> (rule3 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple9) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple5) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
((triple7 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple14) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple12) -> (rule3 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((triple14) -> (rule1 % int2)) triple11) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int2)) triple4) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple11 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple11 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple4 ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((triple4 ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
((triple11 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple11 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((triple4 ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple4 ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule1 % int3)) ((triple12) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple12) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int5)) ((((triple14) -> (rule1 % int4)) ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int5
((((triple5) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3)) ((triple5) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int4