The cat eats the squirrel. The cow is round. The cow sees the dog. The dog likes the squirrel. The squirrel is round. The squirrel does not like the cow. The squirrel likes the dog. If someone is round then they like the dog. If the cow eats the dog then the dog does not like the squirrel.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is round then they like the dog.
((("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If the cow eats the dog then the dog does not like the squirrel.
((("cow" "eats" "dog" "+")) -> ("dog" "likes" "squirrel" "-"))
The dog likes the squirrel.
True
1
proof
[(triple4)]
("dog" "likes" "squirrel" "+")
triple4
The dog does not like the squirrel.
False
1
inv-proof
[(triple4)]
("dog" "likes" "squirrel" "-")
triple4
The cow likes the dog.
True
2
proof
[(((triple2) -> rule1))]
("cow" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow does not like the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "likes" "dog" "-")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The cat likes the dog.
Unknown
rconc
[@1: The cat likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cat eats the squirrel.[(triple1)] The cow is round.[(triple2)] The cow sees the dog.[(triple3)] The dog likes the squirrel.[(triple4)] The squirrel does not like the cow.[(triple6)] The squirrel is round.[(triple5)] The squirrel likes the dog.[(triple7 OR ((triple5) -> rule1))] @1: The cow likes the dog.[(((triple2) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
((triple5) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1