The bald eagle eats the squirrel. The bald eagle needs the lion. The cow is blue. The cow is green. The cow is not red. The cow is not round. The cow needs the lion. The cow visits the squirrel. The lion eats the bald eagle. The lion is blue. The lion visits the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel is round. If someone is green and they do not eat the cow then they do not eat the lion. All rough people are green. If someone visits the squirrel then the squirrel is rough. If someone is round and they visit the bald eagle then the bald eagle eats the lion. If the cow eats the lion then the cow is not round. If someone is green and blue then they visit the bald eagle. If someone is green then they visit the bald eagle. If the squirrel visits the cow and the cow visits the bald eagle then the squirrel eats the bald eagle. If someone eats the lion then they are rough.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow is not round.
("cow" "is" "round" "-")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is green and they do not eat the cow then they do not eat the lion.
((("someone" "is" "green" "+") ("someone" "eats" "cow" "~")) -> ("someone" "eats" "lion" "-"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone visits the squirrel then the squirrel is rough.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone is round and they visit the bald eagle then the bald eagle eats the lion.
((("someone" "is" "round" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the cow eats the lion then the cow is not round.
((("cow" "eats" "lion" "+")) -> ("cow" "is" "round" "-"))
If someone is green and blue then they visit the bald eagle.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is green then they visit the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the squirrel visits the cow and the cow visits the bald eagle then the squirrel eats the bald eagle.
((("squirrel" "visits" "cow" "+") ("cow" "visits" "bald eagle" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the lion then they are rough.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "rough" "+"))
The lion visits the squirrel.
True
1
proof
[(triple11)]
("lion" "visits" "squirrel" "+")
triple11
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "squirrel" "-")
triple1
The cow visits the bald eagle.
True
2
proof
[(((triple4) -> rule7) OR ((triple4 triple3) -> rule6))]
("cow" "visits" "bald eagle" "+")
((triple4) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((triple4 triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow does not visit the bald eagle.
False
2
inv-proof
[(((triple4) -> rule7) OR ((triple4 triple3) -> rule6))]
("cow" "visits" "bald eagle" "-")
((triple4) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((triple4 triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The squirrel is green.
True
3
proof
[(((((triple11) -> rule3)) -> rule2) OR ((((triple12) -> rule9)) -> rule2) OR ((((triple8) -> rule3)) -> rule2))]
("squirrel" "is" "green" "+")
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple12) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule2) OR ((((triple12) -> rule9)) -> rule2) OR ((((triple8) -> rule3)) -> rule2))]
("squirrel" "is" "green" "-")
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple12) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel visits the bald eagle.
True
4
proof
[(((((((triple11) -> rule3)) -> rule2)) -> rule7) OR ((((((triple12) -> rule9)) -> rule2)) -> rule7) OR ((((((triple8) -> rule3)) -> rule2)) -> rule7) OR ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6) OR ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6) OR ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6))]
("squirrel" "visits" "bald eagle" "+")
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel does not visit the bald eagle.
False
4
inv-proof
[(((((((triple11) -> rule3)) -> rule2)) -> rule7) OR ((((((triple12) -> rule9)) -> rule2)) -> rule7) OR ((((((triple8) -> rule3)) -> rule2)) -> rule7) OR ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6) OR ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6) OR ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6))]
("squirrel" "visits" "bald eagle" "-")
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bald eagle eats the lion.
True
6
proof
[(((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4))]
("bald eagle" "eats" "lion" "+")
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle does not eat the lion.
False
6
inv-proof
[(((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4))]
("bald eagle" "eats" "lion" "-")
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle is rough.
True
7
proof
[(((((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9))]
("bald eagle" "is" "rough" "+")
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The bald eagle is not rough.
False
7
inv-proof
[(((((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9))]
("bald eagle" "is" "rough" "-")
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "is" "rough" "-")
The lion visits the bald eagle.
Unknown
rconc
[@3: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule9 <- FAIL)]]
("lion" "visits" "bald eagle" "+")
The lion is not green.
Unknown
inv-rconc
[@2: The lion is green.[CWA. Example of deepest failure = (rule2 <- rule9 <- FAIL)]]
("lion" "is" "green" "-")
The squirrel eats the bald eagle.
Unknown
rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "is" "rough" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
The squirrel does not need the cow.
Unknown
inv-random
[@0: The squirrel needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cow" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
The lion does not need the cow.
Unknown
inv-random
[@0: The lion needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion needs the squirrel.
Unknown
random
[@0: The lion needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the lion.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4)] The cow is not red.[(triple5)] The cow is not round.[(triple6)] The cow needs the lion.[(triple7)] The cow visits the squirrel.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is blue.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is round.[(triple14)] @1: The cow visits the bald eagle.[(((triple4) -> rule7) OR ((triple4 triple3) -> rule6))] The squirrel is rough.[(((triple11) -> rule3) OR ((triple12) -> rule9) OR ((triple8) -> rule3))] @2: The squirrel is green.[(((((triple11) -> rule3)) -> rule2) OR ((((triple12) -> rule9)) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] @3: The squirrel visits the bald eagle.[(((((((triple11) -> rule3)) -> rule2)) -> rule7) OR ((((((triple12) -> rule9)) -> rule2)) -> rule7) OR ((((((triple8) -> rule3)) -> rule2)) -> rule7) OR ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6) OR ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6) OR ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6))] @4: The bald eagle eats the lion.[(((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4) OR ((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4))] @5: The bald eagle is rough.[(((((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9) OR ((((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9))] @6: The bald eagle is green.[(((((((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2) OR ((((((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2) OR ((((((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2) OR ((((((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2) OR ((((((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2) OR ((((((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2))] @7: The bald eagle visits the bald eagle.[(((((((((triple14 ((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2)) -> rule7) OR ((((((((triple14 ((((((triple12) -> rule9)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2)) -> rule7) OR ((((((((triple14 ((((((triple8) -> rule3)) -> rule2)) -> rule7)) -> rule4)) -> rule9)) -> rule2)) -> rule7) OR ((((((((triple14 ((((((triple11) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2)) -> rule7) OR ((((((((triple14 ((((((triple12) -> rule9)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2)) -> rule7) OR ((((((((triple14 ((((((triple8) -> rule3)) -> rule2) triple13) -> rule6)) -> rule4)) -> rule9)) -> rule2)) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is not red.
("cow" "is" "red" "-")
triple5
The cow is not round.
("cow" "is" "round" "-")
triple6
The cow needs the lion.
("cow" "needs" "lion" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple4) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((triple4 triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple11) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple12) -> (rule9 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple8) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple11) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple12) -> (rule9 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple11) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple12) -> (rule9 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple11) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple12) -> (rule9 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
((triple14 ((((((triple8) -> (rule3 % int4))) -> (rule2 % int3)) triple13) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple11) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple12) -> (rule9 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
((((triple14 ((((((triple8) -> (rule3 % int5))) -> (rule2 % int4)) triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((triple14 ((((((triple11) -> (rule3 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
((((((triple14 ((((((triple12) -> (rule9 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
((((((triple14 ((((((triple8) -> (rule3 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
((((((triple14 ((((((triple11) -> (rule3 % int6))) -> (rule2 % int5)) triple13) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
((((((triple14 ((((((triple12) -> (rule9 % int6))) -> (rule2 % int5)) triple13) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
((((((triple14 ((((((triple8) -> (rule3 % int6))) -> (rule2 % int5)) triple13) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
The squirrel is rough.
("squirrel" "is" "rough" "+")
int6
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((((triple14 ((((((triple11) -> (rule3 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
((((((((triple14 ((((((triple12) -> (rule9 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
((((((((triple14 ((((((triple8) -> (rule3 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
((((((((triple14 ((((((triple11) -> (rule3 % int7))) -> (rule2 % int6)) triple13) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
((((((((triple14 ((((((triple12) -> (rule9 % int7))) -> (rule2 % int6)) triple13) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7
((((((((triple14 ((((((triple8) -> (rule3 % int7))) -> (rule2 % int6)) triple13) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
int6
The squirrel is rough.
("squirrel" "is" "rough" "+")
int7