The bald eagle likes the tiger. The cow chases the tiger. The squirrel is cold. The tiger likes the squirrel. If something chases the tiger then the tiger is green.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something chases the tiger then the tiger is green.
((("something" "chases" "tiger" "+")) -> ("tiger" "is" "green" "+"))
The squirrel is cold.
True
1
proof
[(triple3)]
("squirrel" "is" "cold" "+")
triple3
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "-")
triple1
The tiger is green.
True
2
proof
[(((triple2) -> rule1))]
("tiger" "is" "green" "+")
((triple2) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("tiger" "is" "green" "-")
((triple2) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel does not like the bald eagle.
Unknown
inv-random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The tiger does not need the squirrel.
Unknown
inv-random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
@0: The bald eagle likes the tiger.[(triple1)] The cow chases the tiger.[(triple2)] The squirrel is cold.[(triple3)] The tiger likes the squirrel.[(triple4)] @1: The tiger is green.[(((triple2) -> rule1))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
((triple2) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1