The cow chases the squirrel. The cow is blue. The cow is cold. The cow is young. The cow likes the dog. The cow sees the dog. The cow sees the squirrel. The dog chases the cow. The dog chases the squirrel. The dog is blue. The dog is cold. The dog likes the cow. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the cow. If the dog is young then the dog sees the squirrel.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If the dog is young then the dog sees the squirrel.
((("dog" "is" "young" "+")) -> ("dog" "sees" "squirrel" "+"))
The dog is cold.
True
1
proof
[(triple11)]
("dog" "is" "cold" "+")
triple11
The dog is not blue.
False
1
inv-proof
[(triple10)]
("dog" "is" "blue" "-")
triple10
The dog does not see the squirrel.
Unknown
inv-rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "squirrel" "-")
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 chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is young.[(triple4)] The cow likes the dog.[(triple5)] The cow sees the dog.[(triple6)] The cow sees the squirrel.[(triple7)] The dog chases the cow.[(triple8)] The dog chases the squirrel.[(triple9)] The dog is blue.[(triple10)] The dog is cold.[(triple11)] The dog likes the cow.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the cow.[(triple16)]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
The dog chases the cow.
("dog" "chases" "cow" "+")
triple8
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple16