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