The cow eats the squirrel. The cow is blue. The cow is kind. The cow is rough. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel likes the cow. The squirrel needs the cow. If something eats the squirrel and the squirrel needs the cow then it is blue. If something is round then it needs the squirrel. If something likes the squirrel then it is rough.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something eats the squirrel and the squirrel needs the cow then it is blue.
((("something" "eats" "squirrel" "+") ("squirrel" "needs" "cow" "+")) -> ("something" "is" "blue" "+"))
If something is round then it needs the squirrel.
((("something" "is" "round" "+")) -> ("something" "needs" "squirrel" "+"))
If something likes the squirrel then it is rough.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "rough" "+"))
The squirrel likes the cow.
True
1
proof
[(triple11)]
("squirrel" "likes" "cow" "+")
triple11
The squirrel does not need the cow.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "cow" "-")
triple12
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2 OR ((triple1 triple12) -> rule1))] The cow is kind.[(triple3)] The cow is rough.[(triple4 OR ((triple5) -> rule3))] The cow likes the squirrel.[(triple5)] The cow needs the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The squirrel needs the squirrel.[(((triple10) -> rule2))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
((triple1 triple12) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
((triple5) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple11
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple12
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple10) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1