The bear is nice. The bear needs the rabbit. The bear needs the squirrel. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit is nice. The rabbit likes the bear. The rabbit needs the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel needs the bear. The squirrel needs the rabbit. If something eats the rabbit then it is blue. If the rabbit eats the bear then the rabbit eats the squirrel. If something likes the bear then it eats the rabbit.
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something eats the rabbit then it is blue.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If the rabbit eats the bear then the rabbit eats the squirrel.
((("rabbit" "eats" "bear" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something likes the bear then it eats the rabbit.
((("something" "likes" "bear" "+")) -> ("something" "eats" "rabbit" "+"))
The squirrel is cold.
True
1
proof
[(triple10)]
("squirrel" "is" "cold" "+")
triple10
The rabbit does not eat the bear.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "bear" "-")
triple4
The squirrel eats the rabbit.
True
2
proof
[(((triple13) -> rule3))]
("squirrel" "eats" "rabbit" "+")
((triple13) -> (rule3 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel does not eat the rabbit.
False
2
inv-proof
[(((triple13) -> rule3))]
("squirrel" "eats" "rabbit" "-")
((triple13) -> (rule3 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is blue.
True
3
proof
[(((((triple13) -> rule3)) -> rule1))]
("squirrel" "is" "blue" "+")
((((triple13) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2
The rabbit is not blue.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule1))]
("rabbit" "is" "blue" "-")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The bear does not eat the rabbit.
Unknown
inv-rconc
[@1: The bear eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "rabbit" "-")
The bear is blue.
Unknown
rconc
[@2: The bear is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bear" "is" "blue" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bear likes the rabbit.
Unknown
random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "+")
@0: The bear is nice.[(triple1)] The bear needs the rabbit.[(triple2)] The bear needs the squirrel.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit eats the squirrel.[(triple5 OR ((triple4) -> rule2))] The rabbit is nice.[(triple6)] The rabbit likes the bear.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple7) -> rule3))] The squirrel eats the rabbit.[(((triple13) -> rule3))] @2: The rabbit is blue.[(((((triple7) -> rule3)) -> rule1))] The squirrel is blue.[(((((triple13) -> rule3)) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
((triple4) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple7
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple7) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
((triple13) -> (rule3 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple13) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int2