The cow is nice. The cow is red. The cow is rough. The cow sees the squirrel. The squirrel is not rough. The squirrel needs the cow. The squirrel sees the cow. If someone likes the squirrel then the squirrel likes the cow. If someone likes the squirrel and the squirrel likes the cow then the cow does not see the squirrel. If someone likes the squirrel then the squirrel is not red. If someone is kind then they are nice. If someone is kind then they like the cow. If someone sees the cow and they are green then they need the cow. If someone likes the cow and the cow sees the squirrel then they see the cow. If someone likes the cow then they see the cow.
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone likes the squirrel then the squirrel likes the cow.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone likes the squirrel and the squirrel likes the cow then the cow does not see the squirrel.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "cow" "+")) -> ("cow" "sees" "squirrel" "-"))
If someone likes the squirrel then the squirrel is not red.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "red" "-"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they like the cow.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "cow" "+"))
If someone sees the cow and they are green then they need the cow.
((("someone" "sees" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the cow and the cow sees the squirrel then they see the cow.
((("someone" "likes" "cow" "+") ("cow" "sees" "squirrel" "+")) -> ("someone" "sees" "cow" "+"))
If someone likes the cow then they see the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "sees" "cow" "+"))
The squirrel needs the cow.
True
1
proof
[(triple6)]
("squirrel" "needs" "cow" "+")
triple6
The cow does not see the squirrel.
False
1
inv-proof
[(triple4)]
("cow" "sees" "squirrel" "-")
triple4
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "nice" "-")
The cow likes the squirrel.
Unknown
random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "+")
@0: The cow is nice.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow sees the squirrel.[(triple4)] The squirrel is not rough.[(triple5)] The squirrel needs the cow.[(triple6)] The squirrel sees the cow.[(triple7)]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple5
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple6
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7