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