The cat is nice. The cat likes the squirrel. The cat sees the squirrel. The squirrel eats the cat. The squirrel is cold. The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel likes the cat. The squirrel sees the cat. If the cat is kind then the cat does not see the squirrel. If someone sees the squirrel then the squirrel likes the cat. If someone is cold then they are nice. If someone is blue then they eat the squirrel. If the cat eats the squirrel and the squirrel eats the cat then the cat is green. If the squirrel sees the cat then the squirrel eats the cat. If the squirrel is not nice then the squirrel sees the cat. If someone is cold and they see the cat then they are blue.
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the cat is kind then the cat does not see the squirrel.
((("cat" "is" "kind" "+")) -> ("cat" "sees" "squirrel" "-"))
If someone sees the squirrel then the squirrel likes the cat.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they eat the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "squirrel" "+"))
If the cat eats the squirrel and the squirrel eats the cat then the cat is green.
((("cat" "eats" "squirrel" "+") ("squirrel" "eats" "cat" "+")) -> ("cat" "is" "green" "+"))
If the squirrel sees the cat then the squirrel eats the cat.
((("squirrel" "sees" "cat" "+")) -> ("squirrel" "eats" "cat" "+"))
If the squirrel is not nice then the squirrel sees the cat.
((("squirrel" "is" "nice" "~")) -> ("squirrel" "sees" "cat" "+"))
If someone is cold and they see the cat then they are blue.
((("someone" "is" "cold" "+") ("someone" "sees" "cat" "+")) -> ("someone" "is" "blue" "+"))
The squirrel likes the cat.
True
1
proof
[(triple9 OR ((triple3) -> rule2))]
("squirrel" "likes" "cat" "+")
triple9
((triple3) -> (rule2 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel is not nice.
False
1
inv-proof
[(triple8 OR ((triple5) -> rule3))]
("squirrel" "is" "nice" "-")
triple8
((triple5) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is blue.
True
3
proof
[(((triple5 triple10) -> rule8))]
("squirrel" "is" "blue" "+")
((triple5 triple10) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
3
inv-proof
[(((triple5 triple10) -> rule8))]
("squirrel" "is" "blue" "-")
((triple5 triple10) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the squirrel.
True
4
proof
[(((((triple5 triple10) -> rule8)) -> rule4))]
("squirrel" "eats" "squirrel" "+")
((((triple5 triple10) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((triple5 triple10) -> rule8)) -> rule4))]
("squirrel" "eats" "squirrel" "-")
((((triple5 triple10) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "blue" "-")
The cat eats the squirrel.
Unknown
rconc
[@2: The cat eats the squirrel.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("cat" "eats" "squirrel" "+")
The cat is not green.
Unknown
inv-rconc
[@3: The cat is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule8 <- FAIL)]]
("cat" "is" "green" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cat is nice.[(triple1)] The cat likes the squirrel.[(triple2)] The cat sees the squirrel.[(triple3)] The squirrel eats the cat.[(triple4 OR ((triple10) -> rule6))] The squirrel is cold.[(triple5)] The squirrel is kind.[(triple7)] The squirrel is nice.[(triple8 OR ((triple5) -> rule3))] The squirrel is not green.[(triple6)] The squirrel likes the cat.[(triple9 OR ((triple3) -> rule2))] The squirrel sees the cat.[(triple10)] @1: The squirrel is blue.[(((triple5 triple10) -> rule8))] @2: The squirrel eats the squirrel.[(((((triple5 triple10) -> rule8)) -> rule4))]
The cat is nice.
("cat" "is" "nice" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple4
((triple10) -> (rule6 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
((triple5) -> (rule3 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not green.
("squirrel" "is" "green" "-")
triple6
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple9
((triple3) -> (rule2 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple5 triple10) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((triple5 triple10) -> (rule8 % int2))) -> (rule4 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2