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