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