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