The bear is round. The dog eats the squirrel. The rabbit sees the bear. The squirrel is red. If someone sees the rabbit then the rabbit visits the squirrel. If someone sees the squirrel and the squirrel sees the rabbit then the squirrel is round. If someone eats the bear then they are blue.
The bear is round.
("bear" "is" "round" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If someone sees the rabbit then the rabbit visits the squirrel.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If someone sees the squirrel and the squirrel sees the rabbit then the squirrel is round.
((("someone" "sees" "squirrel" "+") ("squirrel" "sees" "rabbit" "+")) -> ("squirrel" "is" "round" "+"))
If someone eats the bear then they are blue.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is red.
True
1
proof
[(triple4)]
("squirrel" "is" "red" "+")
triple4
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "blue" "-")
The rabbit sees the squirrel.
Unknown
random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "+")
@0: The bear is round.[(triple1)] The dog eats the squirrel.[(triple2)] The rabbit sees the bear.[(triple3)] The squirrel is red.[(triple4)]
The bear is round.
("bear" "is" "round" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4