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