The bald eagle is cold. The squirrel chases the bald eagle. The squirrel eats the bald eagle. If someone chases the bald eagle then the bald eagle likes the squirrel. If someone likes the squirrel then the squirrel is round.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle likes the squirrel.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone likes the squirrel then the squirrel is round.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "eats" "bald eagle" "+")
triple3
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The bald eagle likes the squirrel.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle does not like the squirrel.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "likes" "squirrel" "-")
((triple2) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("squirrel" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel is not round.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("squirrel" "is" "round" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is cold.[(triple1)] The squirrel chases the bald eagle.[(triple2)] The squirrel eats the bald eagle.[(triple3)] @1: The bald eagle likes the squirrel.[(((triple2) -> rule1))] @2: The squirrel is round.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple2) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2