The bald eagle needs the bear. The bear is round. The bear needs the rabbit. The rabbit chases the bald eagle. The rabbit sees the squirrel. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel is red. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel sees the bald eagle. If something sees the bald eagle then it chases the rabbit. If something needs the bald eagle then it is cold. If the squirrel chases the rabbit then the rabbit chases the bear. If something chases the rabbit and the rabbit is nice then it sees the bald eagle. If something needs the squirrel then the squirrel sees the bear. If something chases the rabbit and it needs the bear then the bear sees the rabbit. If something is cold then it sees the bald eagle. If something chases the bear then it needs the bald eagle. If something chases the bald eagle and the bald eagle is round then the bald eagle sees the bear.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something sees the bald eagle then it chases the rabbit.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "rabbit" "+"))
If something needs the bald eagle then it is cold.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "cold" "+"))
If the squirrel chases the rabbit then the rabbit chases the bear.
((("squirrel" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If something chases the rabbit and the rabbit is nice then it sees the bald eagle.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If something needs the squirrel then the squirrel sees the bear.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
If something chases the rabbit and it needs the bear then the bear sees the rabbit.
((("something" "chases" "rabbit" "+") ("something" "needs" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If something is cold then it sees the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the bear then it needs the bald eagle.
((("something" "chases" "bear" "+")) -> ("something" "needs" "bald eagle" "+"))
If something chases the bald eagle and the bald eagle is round then the bald eagle sees the bear.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "sees" "bear" "+"))
The squirrel is red.
True
1
proof
[(triple8)]
("squirrel" "is" "red" "+")
triple8
The squirrel is not red.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "red" "-")
triple8
The squirrel needs the bald eagle.
True
2
proof
[(((triple7) -> rule8))]
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel does not chase the rabbit.
False
2
inv-proof
[(((triple11) -> rule1) OR ((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1))]
("squirrel" "chases" "rabbit" "-")
((triple11) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
((((((((triple7) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The rabbit chases the bear.
True
3
proof
[(((((triple11) -> rule1)) -> rule3) OR ((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3))]
("rabbit" "chases" "bear" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
((((((((((triple7) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5
The squirrel is not cold.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule2))]
("squirrel" "is" "cold" "-")
((((triple7) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The rabbit needs the bald eagle.
True
4
proof
[(((((((triple11) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8))]
("rabbit" "needs" "bald eagle" "+")
((((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
((((((((((((triple7) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int6
The rabbit does not need the bald eagle.
False
4
inv-proof
[(((((((triple11) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8))]
("rabbit" "needs" "bald eagle" "-")
((((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
((((((((((((triple7) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int6
The rabbit is cold.
True
5
proof
[(((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2) OR ((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2))]
("rabbit" "is" "cold" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
((((((((((((((triple7) -> (rule8 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
int6
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int7
The rabbit is not cold.
False
5
inv-proof
[(((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2) OR ((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2))]
("rabbit" "is" "cold" "-")
((((((((triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
((((((((((((((triple7) -> (rule8 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
int6
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int7
The rabbit sees the bald eagle.
True
6
proof
[(((((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7) OR ((((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7))]
("rabbit" "sees" "bald eagle" "+")
((((((((((triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
((((((((((((((((triple7) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel is cold.
("squirrel" "is" "cold" "+")
int7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int8
The rabbit does not see the bald eagle.
False
6
inv-proof
[(((((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7) OR ((((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7))]
("rabbit" "sees" "bald eagle" "-")
((((((((((triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
((((((((((((((((triple7) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel is cold.
("squirrel" "is" "cold" "+")
int7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int8
The bear does not need the bald eagle.
Unknown
inv-rconc
[@1: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "bald eagle" "-")
The bald eagle chases the rabbit.
Unknown
rconc
[@4: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule2 <- rule8 <- FAIL)]]
("bald eagle" "chases" "rabbit" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule8 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear is cold.
Unknown
rconc
[@2: The bear is cold.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("bear" "is" "cold" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The squirrel sees the bear.
Unknown
rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "sees" "bear" "+")
The bald eagle does not need the rabbit.
Unknown
inv-random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The rabbit needs the bear.
Unknown
random
[@0: The rabbit needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bear" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear is round.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel is red.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the rabbit.[(triple10)] The squirrel sees the bald eagle.[(triple11 OR ((((((triple7) -> rule8)) -> rule2)) -> rule7))] @1: The squirrel chases the rabbit.[(((triple11) -> rule1) OR ((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1))] The squirrel needs the bald eagle.[(((triple7) -> rule8))] @2: The bear sees the rabbit.[(((((triple11) -> rule1) triple9) -> rule6) OR ((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1) triple9) -> rule6))] The rabbit chases the bear.[(((((triple11) -> rule1)) -> rule3) OR ((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3))] The squirrel is cold.[(((((triple7) -> rule8)) -> rule2))] @3: The rabbit needs the bald eagle.[(((((((triple11) -> rule1)) -> rule3)) -> rule8) OR ((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8))] @4: The rabbit is cold.[(((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2) OR ((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2))] @5: The rabbit sees the bald eagle.[(((((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7) OR ((((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7))] @6: The rabbit chases the rabbit.[(((((((((((((triple11) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((((((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule3)) -> rule8)) -> rule2)) -> rule7)) -> rule1))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple4
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple5
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple6
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple11
((((((triple7) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((triple11) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
((((((((triple7) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
((((((((((triple7) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
((((((((((triple7) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple7) -> (rule8 % int2))) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
((((((((((((triple7) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int6
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
((((((((((((((triple7) -> (rule8 % int7))) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
int6
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int7
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((((((((triple11) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
((((((((((((((((triple7) -> (rule8 % int8))) -> (rule2 % int7))) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel is cold.
("squirrel" "is" "cold" "+")
int7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int8
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((((((((((triple11) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int6
((((((((((((((((((triple7) -> (rule8 % int9))) -> (rule2 % int8))) -> (rule7 % int7))) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int7
The squirrel is cold.
("squirrel" "is" "cold" "+")
int8
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int9