The bear chases the squirrel. The bear eats the rabbit. The bear eats the squirrel. The bear is blue. The rabbit chases the squirrel. The rabbit does not eat the bear. The rabbit eats the squirrel. The rabbit is blue. The rabbit is young. The rabbit needs the squirrel. The squirrel chases the bear. The squirrel chases the rabbit. If someone eats the rabbit then the rabbit chases the bear. If someone chases the squirrel and the squirrel eats the rabbit then they chase the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If someone eats the rabbit then the rabbit chases the bear.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone chases the squirrel and the squirrel eats the rabbit then they chase the bear.
((("someone" "chases" "squirrel" "+") ("squirrel" "eats" "rabbit" "+")) -> ("someone" "chases" "bear" "+"))
The squirrel chases the bear.
True
1
proof
[(triple11)]
("squirrel" "chases" "bear" "+")
triple11
The rabbit is not blue.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "blue" "-")
triple8
The rabbit chases the bear.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "chases" "bear" "-")
((triple2) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the rabbit.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is blue.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit does not eat the bear.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the rabbit.[(triple12)] @1: The rabbit chases the bear.[(((triple2) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple5
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple2) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1