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