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