The bear sees the squirrel. The rabbit sees the squirrel. The squirrel likes the rabbit. If the squirrel sees the rabbit and the squirrel likes the bear then the rabbit is nice. If someone likes the bear then they see the squirrel. If someone likes the squirrel and the squirrel visits the rabbit then they see the bear. If someone is cold and nice then they like the rabbit. If someone sees the squirrel then the squirrel is red. If someone likes the squirrel then the squirrel sees the rabbit. If someone visits the rabbit and they are nice then they are young. If someone is red and they see the bear then the bear is young.
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If the squirrel sees the rabbit and the squirrel likes the bear then the rabbit is nice.
((("squirrel" "sees" "rabbit" "+") ("squirrel" "likes" "bear" "+")) -> ("rabbit" "is" "nice" "+"))
If someone likes the bear then they see the squirrel.
((("someone" "likes" "bear" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone likes the squirrel and the squirrel visits the rabbit then they see the bear.
((("someone" "likes" "squirrel" "+") ("squirrel" "visits" "rabbit" "+")) -> ("someone" "sees" "bear" "+"))
If someone is cold and nice then they like the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone sees the squirrel then the squirrel is red.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone likes the squirrel then the squirrel sees the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "sees" "rabbit" "+"))
If someone visits the rabbit and they are nice then they are young.
((("someone" "visits" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is red and they see the bear then the bear is young.
((("someone" "is" "red" "+") ("someone" "sees" "bear" "+")) -> ("bear" "is" "young" "+"))
The bear sees the squirrel.
True
1
proof
[(triple1)]
("bear" "sees" "squirrel" "+")
triple1
The bear does not see the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "sees" "squirrel" "-")
triple1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "young" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bear sees the squirrel.[(triple1)] The rabbit sees the squirrel.[(triple2)] The squirrel likes the rabbit.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule5) OR ((triple2) -> rule5))]
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple2) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1