The bald eagle likes the squirrel. The squirrel eats the bald eagle. The squirrel visits the bald eagle. If someone eats the bald eagle then they are green. If someone eats the squirrel and they are green then they are round. If someone likes the squirrel then they are red. If the bald eagle likes the squirrel then the squirrel is green. If someone is green and they like the bald eagle then the bald eagle is red. If someone is red then they visit the squirrel.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone eats the bald eagle then they are green.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone eats the squirrel and they are green then they are round.
((("someone" "eats" "squirrel" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone likes the squirrel then they are red.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If the bald eagle likes the squirrel then the squirrel is green.
((("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone is green and they like the bald eagle then the bald eagle is red.
((("someone" "is" "green" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone is red then they visit the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple2)]
("squirrel" "eats" "bald eagle" "+")
triple2
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "bald eagle" "-")
triple2
The bald eagle is red.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple2) -> rule1))]
("squirrel" "is" "green" "-")
((triple1) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple2) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle visits the squirrel.
True
3
proof
[(((((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "squirrel" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not visit the squirrel.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "squirrel" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
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 visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The squirrel eats the bald eagle.[(triple2)] The squirrel visits the bald eagle.[(triple3)] @1: The bald eagle is red.[(((triple1) -> rule3))] The squirrel is green.[(((triple1) -> rule4) OR ((triple2) -> rule1))] @2: The bald eagle visits the squirrel.[(((((triple1) -> rule3)) -> rule6))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple2) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2