The bald eagle does not like the tiger. The bald eagle visits the squirrel. The bald eagle visits the tiger. The squirrel is not big. The squirrel is rough. The squirrel is young. The squirrel visits the tiger. The tiger is blue. The tiger likes the bald eagle. The tiger likes the squirrel. The tiger sees the squirrel. The tiger does not visit the squirrel. If someone likes the bald eagle and the bald eagle visits the squirrel then they visit the tiger.
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If someone likes the bald eagle and the bald eagle visits the squirrel then they visit the tiger.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "visits" "squirrel" "+")) -> ("someone" "visits" "tiger" "+"))
The tiger does not visit the squirrel.
True
1
proof
[(triple12)]
("tiger" "visits" "squirrel" "-")
triple12
The tiger does not like the squirrel.
False
1
inv-proof
[(triple10)]
("tiger" "likes" "squirrel" "-")
triple10
The tiger visits the tiger.
True
3
proof
[(((triple9 triple2) -> rule1))]
("tiger" "visits" "tiger" "+")
((triple9 triple2) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger does not visit the tiger.
False
3
inv-proof
[(((triple9 triple2) -> rule1))]
("tiger" "visits" "tiger" "-")
((triple9 triple2) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not visit the bald eagle.
Unknown
inv-random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "-")
The squirrel likes the tiger.
Unknown
random
[@0: The squirrel likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "tiger" "+")
@0: The bald eagle does not like the tiger.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The bald eagle visits the tiger.[(triple3)] The squirrel is not big.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is young.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger does not visit the squirrel.[(triple12)] The tiger is blue.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the squirrel.[(triple10)] The tiger sees the squirrel.[(triple11)] @1: The tiger visits the tiger.[(((triple9 triple2) -> rule1))]
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The squirrel is not big.
("squirrel" "is" "big" "-")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple7
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple10
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple11
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple9 triple2) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1