The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat is young. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is not blue. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel is young. The squirrel does not like the cat. The squirrel needs the cat. The squirrel sees the cat. If something likes the squirrel and it is green then it does not see the cat. If the cat is kind then the cat sees the squirrel. If something needs the squirrel and it is not green then it needs the cat. If something needs the cat then it is kind. If the cat needs the squirrel then the cat likes the squirrel. If something is kind then it sees the squirrel. If something needs the cat and the cat does not like the squirrel then it does not see the squirrel. If the squirrel does not see the cat then the squirrel is nice.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something likes the squirrel and it is green then it does not see the cat.
((("something" "likes" "squirrel" "+") ("something" "is" "green" "+")) -> ("something" "sees" "cat" "-"))
If the cat is kind then the cat sees the squirrel.
((("cat" "is" "kind" "+")) -> ("cat" "sees" "squirrel" "+"))
If something needs the squirrel and it is not green then it needs the cat.
((("something" "needs" "squirrel" "+") ("something" "is" "green" "~")) -> ("something" "needs" "cat" "+"))
If something needs the cat then it is kind.
((("something" "needs" "cat" "+")) -> ("something" "is" "kind" "+"))
If the cat needs the squirrel then the cat likes the squirrel.
((("cat" "needs" "squirrel" "+")) -> ("cat" "likes" "squirrel" "+"))
If something is kind then it sees the squirrel.
((("something" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
If something needs the cat and the cat does not like the squirrel then it does not see the squirrel.
((("something" "needs" "cat" "+") ("cat" "likes" "squirrel" "~")) -> ("something" "sees" "squirrel" "-"))
If the squirrel does not see the cat then the squirrel is nice.
((("squirrel" "sees" "cat" "~")) -> ("squirrel" "is" "nice" "+"))
The squirrel needs the cat.
True
1
proof
[(triple15)]
("squirrel" "needs" "cat" "+")
triple15
The cat is not kind.
False
1
inv-proof
[(triple3)]
("cat" "is" "kind" "-")
triple3
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6 OR ((triple7) -> rule5))] The cat needs the squirrel.[(triple7)] The cat sees the squirrel.[(triple8 OR ((triple3) -> rule2) OR ((triple3) -> rule6))] The squirrel does not like the cat.[(triple14)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11 OR ((triple15) -> rule4))] The squirrel is not blue.[(triple9)] The squirrel is not nice.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the cat.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cat does not see the cat.[(((triple6 triple2) -> rule1) OR ((((triple7) -> rule5) triple2) -> rule1))] The squirrel sees the squirrel.[(((triple11) -> rule6) OR ((((triple15) -> rule4)) -> rule6))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
((triple7) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple7
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple8
((triple3) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
((triple3) -> (rule6 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple14
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
((triple15) -> (rule4 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple9
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16
The cat does not see the cat.
("cat" "sees" "cat" "-")
((triple6 triple2) -> (rule1 % int1))
The cat does not see the cat.
("cat" "sees" "cat" "-")
int1
((((triple7) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The cat does not see the cat.
("cat" "sees" "cat" "-")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple11) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
((((triple15) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2