The bald eagle likes the cow. The bald eagle sees the cow. The cow is red. The cow likes the bald eagle. The cow likes the rabbit. The cow needs the squirrel. The rabbit is blue. The rabbit is nice. The rabbit likes the cow. The rabbit needs the bald eagle. The squirrel is big. The squirrel is kind. The squirrel likes the rabbit. The squirrel sees the cow. If someone is red then they see the rabbit. If someone needs the squirrel then the squirrel is kind. If someone is big and they like the cow then they see the squirrel. If someone sees the bald eagle then the bald eagle is red. If someone is red and they see the rabbit then they see the bald eagle. If the bald eagle sees the cow then the cow needs the bald eagle. If someone is big then they like the rabbit. If someone needs the squirrel and the squirrel needs the rabbit then the squirrel needs the cow. If someone needs the squirrel then the squirrel is red.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone is red then they see the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone needs the squirrel then the squirrel is kind.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If someone is big and they like the cow then they see the squirrel.
((("someone" "is" "big" "+") ("someone" "likes" "cow" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the bald eagle then the bald eagle is red.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone is red and they see the rabbit then they see the bald eagle.
((("someone" "is" "red" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the bald eagle sees the cow then the cow needs the bald eagle.
((("bald eagle" "sees" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone is big then they like the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone needs the squirrel and the squirrel needs the rabbit then the squirrel needs the cow.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "rabbit" "+")) -> ("squirrel" "needs" "cow" "+"))
If someone needs the squirrel then the squirrel is red.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cow" "+")
triple1
The rabbit does not like the cow.
False
1
inv-proof
[(triple9)]
("rabbit" "likes" "cow" "-")
triple9
The squirrel is red.
True
2
proof
[(((triple6) -> rule9))]
("squirrel" "is" "red" "+")
((triple6) -> (rule9 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple6) -> rule9))]
("squirrel" "is" "red" "-")
((triple6) -> (rule9 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel sees the rabbit.
True
3
proof
[(((((triple6) -> rule9)) -> rule1))]
("squirrel" "sees" "rabbit" "+")
((((triple6) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cow does not see the bald eagle.
False
4
inv-proof
[(((triple3 ((triple3) -> rule1)) -> rule5))]
("cow" "sees" "bald eagle" "-")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
True
6
proof
[(((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5))]
("squirrel" "sees" "bald eagle" "+")
((((triple6) -> (rule9 % int3)) ((((triple6) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel does not see the bald eagle.
False
6
inv-proof
[(((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5))]
("squirrel" "sees" "bald eagle" "-")
((((triple6) -> (rule9 % int3)) ((((triple6) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bald eagle sees the rabbit.
True
6
proof
[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1))]
("bald eagle" "sees" "rabbit" "+")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle does not see the rabbit.
False
6
inv-proof
[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1))]
("bald eagle" "sees" "rabbit" "-")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle sees the bald eagle.
True
12
proof
[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5))]
("bald eagle" "sees" "bald eagle" "+")
((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int5
((((((((triple6) -> (rule9 % int8)) ((((triple6) -> (rule9 % int8))) -> (rule1 % int7))) -> (rule5 % int6))) -> (rule4 % int5)) ((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int7
The squirrel is red.
("squirrel" "is" "red" "+")
int8
((((((triple3 ((triple3) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule4 % int6)) ((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle is red.
("bald eagle" "is" "red" "+")
int6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int8
((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The bald eagle does not see the bald eagle.
False
12
inv-proof
[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5))]
("bald eagle" "sees" "bald eagle" "-")
((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int5
((((((((triple6) -> (rule9 % int8)) ((((triple6) -> (rule9 % int8))) -> (rule1 % int7))) -> (rule5 % int6))) -> (rule4 % int5)) ((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int7
The squirrel is red.
("squirrel" "is" "red" "+")
int8
((((((triple3 ((triple3) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule4 % int6)) ((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle is red.
("bald eagle" "is" "red" "+")
int6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int8
((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The rabbit sees the squirrel.
Unknown
rconc
[@1: The rabbit sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "squirrel" "+")
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cow does not need the rabbit.
Unknown
inv-random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The rabbit does not like the bald eagle.
Unknown
inv-random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow is red.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the squirrel.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit needs the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12 OR ((triple6) -> rule2))] The squirrel likes the rabbit.[(triple13 OR ((triple11) -> rule7))] The squirrel sees the cow.[(triple14)] @1: The cow needs the bald eagle.[(((triple2) -> rule6))] The cow sees the rabbit.[(((triple3) -> rule1))] The squirrel is red.[(((triple6) -> rule9))] @2: The cow sees the bald eagle.[(((triple3 ((triple3) -> rule1)) -> rule5))] The squirrel sees the rabbit.[(((((triple6) -> rule9)) -> rule1))] @3: The bald eagle is red.[(((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) OR ((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4))] The squirrel sees the bald eagle.[(((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5))] @4: The bald eagle sees the rabbit.[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1))] @5: The bald eagle sees the bald eagle.[(((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4) ((((((((triple6) -> rule9) ((((triple6) -> rule9)) -> rule1)) -> rule5)) -> rule4)) -> rule1)) -> rule5))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple9
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
((triple6) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple13
((triple11) -> (rule7 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple14
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
((triple3) -> (rule1 % int1))
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple6) -> (rule9 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
((((triple6) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int3
((((((triple6) -> (rule9 % int4)) ((((triple6) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((((triple6) -> (rule9 % int3)) ((((triple6) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int5
((((((((triple6) -> (rule9 % int8)) ((((triple6) -> (rule9 % int8))) -> (rule1 % int7))) -> (rule5 % int6))) -> (rule4 % int5)) ((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int7
The squirrel is red.
("squirrel" "is" "red" "+")
int8
((((((triple3 ((triple3) -> (rule1 % int8))) -> (rule5 % int7))) -> (rule4 % int6)) ((((((((triple6) -> (rule9 % int5)) ((((triple6) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The bald eagle is red.
("bald eagle" "is" "red" "+")
int6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
int8
((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((((((triple6) -> (rule9 % int6)) ((((triple6) -> (rule9 % int6))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5
The squirrel is red.
("squirrel" "is" "red" "+")
int6