The cat is kind. The cow likes the dog. The cow needs the cat. The dog is kind. The dog is round. The dog likes the cat. The dog likes the cow. The dog likes the squirrel. The squirrel is round. The squirrel does not like the cat. If someone needs the dog then they do not like the cow. If someone is kind and they like the cat then the cat eats the cow. If someone eats the cow then they like the squirrel.
The cat is kind.
("cat" "is" "kind" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
If someone needs the dog then they do not like the cow.
((("someone" "needs" "dog" "+")) -> ("someone" "likes" "cow" "-"))
If someone is kind and they like the cat then the cat eats the cow.
((("someone" "is" "kind" "+") ("someone" "likes" "cat" "+")) -> ("cat" "eats" "cow" "+"))
If someone eats the cow then they like the squirrel.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "squirrel" "+"))
The cow needs the cat.
True
1
proof
[(triple3)]
("cow" "needs" "cat" "+")
triple3
The cow does not need the cat.
False
1
inv-proof
[(triple3)]
("cow" "needs" "cat" "-")
triple3
The cat eats the cow.
True
3
proof
[(((triple4 triple6) -> rule2))]
("cat" "eats" "cow" "+")
((triple4 triple6) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not eat the cow.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("cat" "eats" "cow" "-")
((triple4 triple6) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat likes the squirrel.
True
4
proof
[(((((triple4 triple6) -> rule2)) -> rule3))]
("cat" "likes" "squirrel" "+")
((((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cat does not like the squirrel.
False
4
inv-proof
[(((((triple4 triple6) -> rule2)) -> rule3))]
("cat" "likes" "squirrel" "-")
((((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cow does not like the squirrel.
Unknown
inv-rconc
[@1: The cow likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The cow does not eat the dog.
Unknown
inv-random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
The cat does not need the squirrel.
Unknown
inv-random
[@0: The cat needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "squirrel" "-")
The cat needs the dog.
Unknown
random
[@0: The cat needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "dog" "+")
@0: The cat is kind.[(triple1)] The cow likes the dog.[(triple2)] The cow needs the cat.[(triple3)] The dog is kind.[(triple4)] The dog is round.[(triple5)] The dog likes the cat.[(triple6)] The dog likes the cow.[(triple7)] The dog likes the squirrel.[(triple8)] The squirrel does not like the cat.[(triple10)] The squirrel is round.[(triple9)] @1: The cat eats the cow.[(((triple4 triple6) -> rule2))] @2: The cat likes the squirrel.[(((((triple4 triple6) -> rule2)) -> rule3))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The cow needs the cat.
("cow" "needs" "cat" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the cat.
("dog" "likes" "cat" "+")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple8
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple4 triple6) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
((((triple4 triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2