The cat is blue. The cow is blue. The cow is round. The cow needs the squirrel. The cow visits the mouse. The mouse sees the cat. The mouse sees the cow. The mouse sees the squirrel. The squirrel is kind. The squirrel is round. The squirrel needs the mouse. The squirrel sees the mouse. If someone is kind and they need the mouse then they see the cow. If someone needs the cow and they are blue then they visit the cow.
The cat is blue.
("cat" "is" "blue" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone is kind and they need the mouse then they see the cow.
((("someone" "is" "kind" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "sees" "cow" "+"))
If someone needs the cow and they are blue then they visit the cow.
((("someone" "needs" "cow" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "cow" "+"))
The mouse sees the squirrel.
True
1
proof
[(triple8)]
("mouse" "sees" "squirrel" "+")
triple8
The mouse does not see the cow.
False
1
inv-proof
[(triple7)]
("mouse" "sees" "cow" "-")
triple7
The squirrel does not visit the cow.
Unknown
inv-rconc
[@1: The squirrel visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "cow" "-")
The cat visits the mouse.
Unknown
random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "+")
@0: The cat is blue.[(triple1)] The cow is blue.[(triple2)] The cow is round.[(triple3)] The cow needs the squirrel.[(triple4)] The cow visits the mouse.[(triple5)] The mouse sees the cat.[(triple6)] The mouse sees the cow.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The squirrel sees the cow.[(((triple9 triple11) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple5
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple6
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple11
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple12
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
((triple9 triple11) -> (rule1 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1