The cow chases the tiger. The cow is not green. The cow likes the squirrel. The cow sees the squirrel. The squirrel does not chase the tiger. The squirrel is not big. The squirrel sees the cow. The squirrel sees the tiger. The tiger chases the cow. The tiger chases the squirrel. The tiger is green. The tiger is rough. The tiger likes the cow. The tiger does not like the squirrel. The tiger does not see the cow. The tiger sees the squirrel. If something chases the squirrel and the squirrel sees the cow then the squirrel is young.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something chases the squirrel and the squirrel sees the cow then the squirrel is young.
((("something" "chases" "squirrel" "+") ("squirrel" "sees" "cow" "+")) -> ("squirrel" "is" "young" "+"))
The squirrel sees the tiger.
True
1
proof
[(triple8)]
("squirrel" "sees" "tiger" "+")
triple8
The tiger does not chase the squirrel.
False
1
inv-proof
[(triple10)]
("tiger" "chases" "squirrel" "-")
triple10
The squirrel is young.
True
3
proof
[(((triple10 triple7) -> rule1))]
("squirrel" "is" "young" "+")
((triple10 triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
3
inv-proof
[(((triple10 triple7) -> rule1))]
("squirrel" "is" "young" "-")
((triple10 triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel likes the cow.
Unknown
random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "+")
@0: The cow chases the tiger.[(triple1)] The cow is not green.[(triple2)] The cow likes the squirrel.[(triple3)] The cow sees the squirrel.[(triple4)] The squirrel does not chase the tiger.[(triple5)] The squirrel is not big.[(triple6)] The squirrel sees the cow.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger does not like the squirrel.[(triple14)] The tiger does not see the cow.[(triple15)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the cow.[(triple13)] The tiger sees the squirrel.[(triple16)] @1: The squirrel is young.[(((triple10 triple7) -> rule1))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is not green.
("cow" "is" "green" "-")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
triple5
The squirrel is not big.
("squirrel" "is" "big" "-")
triple6
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple9
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple10
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
triple14
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
triple15
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple13
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The squirrel is young.
("squirrel" "is" "young" "+")
((triple10 triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1