The cat is cold. The cat is kind. The cat is red. The cat needs the dog. The cat needs the squirrel. The cat sees the dog. The dog eats the squirrel. The dog is kind. The dog needs the cat. The dog needs the squirrel. The dog sees the cat. The squirrel eats the dog. If someone is red then they eat the squirrel. If someone eats the squirrel and they see the dog then they see the squirrel.
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If someone is red then they eat the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel and they see the dog then they see the squirrel.
((("someone" "eats" "squirrel" "+") ("someone" "sees" "dog" "+")) -> ("someone" "sees" "squirrel" "+"))
The cat is kind.
True
1
proof
[(triple2)]
("cat" "is" "kind" "+")
triple2
The cat is not red.
False
1
inv-proof
[(triple3)]
("cat" "is" "red" "-")
triple3
The cat eats the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("cat" "eats" "squirrel" "+")
((triple3) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat does not eat the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "eats" "squirrel" "-")
((triple3) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat sees the squirrel.
True
4
proof
[(((((triple3) -> rule1) triple6) -> rule2))]
("cat" "sees" "squirrel" "+")
((((triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat does not see the squirrel.
False
4
inv-proof
[(((((triple3) -> rule1) triple6) -> rule2))]
("cat" "sees" "squirrel" "-")
((((triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
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 squirrel sees the cat.
Unknown
random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat needs the dog.[(triple4)] The cat needs the squirrel.[(triple5)] The cat sees the dog.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is kind.[(triple8)] The dog needs the cat.[(triple9)] The dog needs the squirrel.[(triple10)] The dog sees the cat.[(triple11)] The squirrel eats the dog.[(triple12)] @1: The cat eats the squirrel.[(((triple3) -> rule1))] @2: The cat sees the squirrel.[(((((triple3) -> rule1) triple6) -> rule2))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple5
The cat sees the dog.
("cat" "sees" "dog" "+")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple10
The dog sees the cat.
("dog" "sees" "cat" "+")
triple11
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple12
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((triple3) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
((((triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2