The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle needs the dog. The dog is cold. The dog sees the squirrel. The rabbit eats the dog. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel sees the bald eagle. If someone eats the rabbit and they are blue then they are not green. If the bald eagle is nice then the bald eagle needs the squirrel. If someone sees the bald eagle and they see the rabbit then the bald eagle is nice. If someone sees the bald eagle then they see the rabbit. If someone sees the squirrel and they eat the bald eagle then they need the rabbit. If someone needs the squirrel and the squirrel sees the rabbit then the rabbit sees the bald eagle. If the bald eagle eats the squirrel then the squirrel is blue.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone eats the rabbit and they are blue then they are not green.
((("someone" "eats" "rabbit" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "-"))
If the bald eagle is nice then the bald eagle needs the squirrel.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone sees the bald eagle and they see the rabbit then the bald eagle is nice.
((("someone" "sees" "bald eagle" "+") ("someone" "sees" "rabbit" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone sees the bald eagle then they see the rabbit.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone sees the squirrel and they eat the bald eagle then they need the rabbit.
((("someone" "sees" "squirrel" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the squirrel and the squirrel sees the rabbit then the rabbit sees the bald eagle.
((("someone" "needs" "squirrel" "+") ("squirrel" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the bald eagle eats the squirrel then the squirrel is blue.
((("bald eagle" "eats" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
The dog is cold.
True
1
proof
[(triple4)]
("dog" "is" "cold" "+")
triple4
The rabbit does not eat the dog.
False
1
inv-proof
[(triple6)]
("rabbit" "eats" "dog" "-")
triple6
The squirrel sees the rabbit.
True
2
proof
[(((triple10) -> rule4))]
("squirrel" "sees" "rabbit" "+")
((triple10) -> (rule4 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The squirrel does not see the rabbit.
False
2
inv-proof
[(((triple10) -> rule4))]
("squirrel" "sees" "rabbit" "-")
((triple10) -> (rule4 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The bald eagle is nice.
True
4
proof
[(((triple10 ((triple10) -> rule4)) -> rule3))]
("bald eagle" "is" "nice" "+")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((triple10 ((triple10) -> rule4)) -> rule3))]
("bald eagle" "is" "nice" "-")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The bald eagle needs the squirrel.
True
5
proof
[(((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2))]
("bald eagle" "needs" "squirrel" "+")
((((triple10 ((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The bald eagle does not need the squirrel.
False
5
inv-proof
[(((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2))]
("bald eagle" "needs" "squirrel" "-")
((((triple10 ((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The rabbit sees the bald eagle.
True
8
proof
[(((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6))]
("rabbit" "sees" "bald eagle" "+")
((((((triple10 ((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The rabbit does not see the bald eagle.
False
8
inv-proof
[(((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6))]
("rabbit" "sees" "bald eagle" "-")
((((((triple10 ((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The rabbit sees the rabbit.
True
9
proof
[(((((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6)) -> rule4))]
("rabbit" "sees" "rabbit" "+")
((((((((triple10 ((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5
The rabbit does not see the rabbit.
False
9
inv-proof
[(((((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6)) -> rule4))]
("rabbit" "sees" "rabbit" "-")
((((((((triple10 ((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5
The bald eagle does not see the rabbit.
Unknown
inv-rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The dog needs the rabbit.
Unknown
rconc
[@1: The dog needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "rabbit" "+")
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "blue" "+")
The dog does not see the rabbit.
Unknown
inv-rconc
[@1: The dog sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The squirrel does not eat the rabbit.
Unknown
inv-random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit does not eat the bald eagle.
Unknown
inv-random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The rabbit does not see the dog.
Unknown
inv-random
[@0: The rabbit sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "dog" "-")
The rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the dog.[(triple3)] The dog is cold.[(triple4)] The dog sees the squirrel.[(triple5)] The rabbit eats the dog.[(triple6)] The squirrel is big.[(triple7)] The squirrel is green.[(triple8)] The squirrel is nice.[(triple9)] The squirrel sees the bald eagle.[(triple10)] @1: The squirrel sees the rabbit.[(((triple10) -> rule4))] @2: The bald eagle is nice.[(((triple10 ((triple10) -> rule4)) -> rule3))] @3: The bald eagle needs the squirrel.[(((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2))] @4: The rabbit sees the bald eagle.[(((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6))] @5: The rabbit sees the rabbit.[(((((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6)) -> rule4))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
((triple10) -> (rule4 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple10 ((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((((triple10 ((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((((triple10 ((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((((((((triple10 ((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int5