The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel likes the tiger. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger is rough. The tiger is not young. The tiger likes the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If someone visits the tiger and they see the squirrel then they see the tiger. If someone visits the squirrel then they like the tiger. If someone visits the squirrel then they visit the tiger.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the tiger and they see the squirrel then they see the tiger.
((("someone" "visits" "tiger" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "sees" "tiger" "+"))
If someone visits the squirrel then they like the tiger.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "tiger" "+"))
If someone visits the squirrel then they visit the tiger.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "tiger" "+"))
The tiger is kind.
True
1
proof
[(triple11)]
("tiger" "is" "kind" "+")
triple11
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The tiger visits the tiger.
True
2
proof
[(((triple16) -> rule3))]
("tiger" "visits" "tiger" "+")
((triple16) -> (rule3 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple16) -> rule2))]
("tiger" "likes" "tiger" "-")
((triple16) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger sees the tiger.
True
4
proof
[(((((triple16) -> rule3) triple15) -> rule1))]
("tiger" "sees" "tiger" "+")
((((triple16) -> (rule3 % int2)) triple15) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger does not see the tiger.
False
4
inv-proof
[(((((triple16) -> rule3) triple15) -> rule1))]
("tiger" "sees" "tiger" "-")
((((triple16) -> (rule3 % int2)) triple15) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
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 squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is blue.[(triple1)] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel sees the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is not young.[(triple13)] The tiger is rough.[(triple12)] The tiger likes the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The tiger likes the tiger.[(((triple16) -> rule2))] The tiger visits the tiger.[(((triple16) -> rule3))] @2: The tiger sees the tiger.[(((((triple16) -> rule3) triple15) -> rule1))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is not young.
("tiger" "is" "young" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple16) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple16) -> (rule3 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple16) -> (rule3 % int2)) triple15) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2