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