The bear chases the squirrel. The bear eats the cat. The bear is blue. The bear is kind. The bear is round. The cat is red. The mouse visits the bear. The squirrel is big. The squirrel is red. The squirrel visits the bear. If the cat is red then the cat eats the mouse. If the bear is big then the bear eats the squirrel. If something is kind and it eats the cat then the cat visits the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is red.
("cat" "is" "red" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the cat is red then the cat eats the mouse.
((("cat" "is" "red" "+")) -> ("cat" "eats" "mouse" "+"))
If the bear is big then the bear eats the squirrel.
((("bear" "is" "big" "+")) -> ("bear" "eats" "squirrel" "+"))
If something is kind and it eats the cat then the cat visits the bear.
((("something" "is" "kind" "+") ("something" "eats" "cat" "+")) -> ("cat" "visits" "bear" "+"))
The squirrel is red.
True
1
proof
[(triple9)]
("squirrel" "is" "red" "+")
triple9
The mouse does not visit the bear.
False
1
inv-proof
[(triple7)]
("mouse" "visits" "bear" "-")
triple7
The bear does not eat the squirrel.
Unknown
inv-rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "squirrel" "-")
The cat chases the squirrel.
Unknown
random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the cat.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The cat is red.[(triple6)] The mouse visits the bear.[(triple7)] The squirrel is big.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The cat eats the mouse.[(((triple6) -> rule1))] The cat visits the bear.[(((triple4 triple2) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The cat eats the mouse.
("cat" "eats" "mouse" "+")
((triple6) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple4 triple2) -> (rule3 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1