The bald eagle is blue. Green, kind things are not big. All green things are blue. If the bald eagle is kind then the bald eagle is round. If something is blue then it is green. Big things are round. Green things are round. If something is kind and not blue then it is round. If something is blue and not green then it is round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
Green, kind things are not big.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle is kind then the bald eagle is round.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "round" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is kind and not blue then it is round.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
If something is blue and not green then it is round.
((("something" "is" "blue" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle is green.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "green" "-")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is round.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("bald eagle" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("bald eagle" "is" "round" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
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 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" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] @1: The bald eagle is green.[(((triple1) -> rule4))] @2: The bald eagle is round.[(((((triple1) -> rule4)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2