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