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