The cat is green. The cat likes the cow. The cat likes the dog. The cow eats the dog. The cow eats the squirrel. The cow is green. The cow is round. The cow likes the dog. The dog is nice. The squirrel eats the cat. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel likes the cow. The squirrel sees the cat. The squirrel sees the cow. If something sees the cow then the cow likes the cat. If something is kind then it sees the squirrel.
The cat is green.
("cat" "is" "green" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something sees the cow then the cow likes the cat.
((("something" "sees" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If something is kind then it sees the squirrel.
((("something" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
The cow likes the dog.
True
1
proof
[(triple8)]
("cow" "likes" "dog" "+")
triple8
The cow is not round.
False
1
inv-proof
[(triple7)]
("cow" "is" "round" "-")
triple7
The dog does not see the squirrel.
Unknown
inv-rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "squirrel" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
@0: The cat is green.[(triple1)] The cat likes the cow.[(triple2)] The cat likes the dog.[(triple3)] The cow eats the dog.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is green.[(triple6)] The cow is round.[(triple7)] The cow likes the dog.[(triple8)] The dog is nice.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The cow likes the cat.[(((triple16) -> rule1))] The squirrel sees the squirrel.[(((triple13) -> rule2))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cow eats the dog.
("cow" "eats" "dog" "+")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow likes the dog.
("cow" "likes" "dog" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple15
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple16
The cow likes the cat.
("cow" "likes" "cat" "+")
((triple16) -> (rule1 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple13) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1