The cat likes the squirrel. The cat visits the squirrel. The cat does not visit the tiger. The squirrel is nice. The squirrel does not like the tiger. The squirrel sees the tiger. The squirrel does not visit the cat. The squirrel visits the tiger. The tiger is green. The tiger is red. The tiger is rough. The tiger does not like the cat. The tiger likes the squirrel. The tiger sees the squirrel. The tiger does not visit the squirrel. If someone likes the cat and they are not green then they do not like the tiger. If someone visits the squirrel then they like the tiger. If someone visits the tiger and they do not visit the cat then the cat sees the tiger. If someone is green then they like the squirrel. If the cat visits the squirrel then the squirrel visits the tiger. If someone visits the squirrel and the squirrel likes the cat then they are young.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If someone likes the cat and they are not green then they do not like the tiger.
((("someone" "likes" "cat" "+") ("someone" "is" "green" "~")) -> ("someone" "likes" "tiger" "-"))
If someone visits the squirrel then they like the tiger.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "tiger" "+"))
If someone visits the tiger and they do not visit the cat then the cat sees the tiger.
((("someone" "visits" "tiger" "+") ("someone" "visits" "cat" "~")) -> ("cat" "sees" "tiger" "+"))
If someone is green then they like the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If the cat visits the squirrel then the squirrel visits the tiger.
((("cat" "visits" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
If someone visits the squirrel and the squirrel likes the cat then they are young.
((("someone" "visits" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("someone" "is" "young" "+"))
The tiger is rough.
True
1
proof
[(triple11)]
("tiger" "is" "rough" "+")
triple11
The squirrel is not nice.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "nice" "-")
triple4
The cat sees the tiger.
True
3
proof
[(((triple8 triple7) -> rule3) OR ((((triple2) -> rule5) triple7) -> rule3))]
("cat" "sees" "tiger" "+")
((triple8 triple7) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((((triple2) -> (rule5 % int2)) triple7) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2
The cat does not like the tiger.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "likes" "tiger" "-")
((triple2) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "young" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "young" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cat does not visit the tiger.[(triple3)] The cat likes the squirrel.[(triple1)] The cat visits the squirrel.[(triple2)] The squirrel does not like the tiger.[(triple5)] The squirrel does not visit the cat.[(triple7)] The squirrel is nice.[(triple4)] The squirrel sees the tiger.[(triple6)] The squirrel visits the tiger.[(triple8 OR ((triple2) -> rule5))] The tiger does not like the cat.[(triple12)] The tiger does not visit the squirrel.[(triple15)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the squirrel.[(triple13 OR ((triple9) -> rule4))] The tiger sees the squirrel.[(triple14)] @1: The cat likes the tiger.[(((triple2) -> rule2))] The cat sees the tiger.[(((triple8 triple7) -> rule3) OR ((((triple2) -> rule5) triple7) -> rule3))]
The cat does not visit the tiger.
("cat" "visits" "tiger" "-")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple2
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple5
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple6
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
((triple2) -> (rule5 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
triple12
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple15
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple13
((triple9) -> (rule4 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple14
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple2) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple8 triple7) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((((triple2) -> (rule5 % int2)) triple7) -> (rule3 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int2