The bald eagle is blue. The bald eagle is green. The bald eagle is not kind. The bald eagle is not nice. The bald eagle is not round. Kind things are not blue. Green things are blue. If the bald eagle is green then the bald eagle is blue. If something is blue and green then it is not kind. All nice, blue things are round. Green things are not round. If something is blue and not green then it is nice. If something is green and not blue then it is not nice.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
Kind things are not blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "-"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle is green then the bald eagle is blue.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is blue and green then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
All nice, blue things are round.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Green things are not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
If something is blue and not green then it is nice.
((("something" "is" "blue" "+") ("something" "is" "green" "~")) -> ("something" "is" "nice" "+"))
If something is green and not blue then it is not nice.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "-"))
The bald eagle is not round.
True
1
proof
[(triple5 OR ((triple2) -> rule6))]
("bald eagle" "is" "round" "-")
triple5
((triple2) -> (rule6 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bald eagle is round.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule6))]
("bald eagle" "is" "round" "+")
triple5
((triple2) -> (rule6 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "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 OR ((triple2) -> rule2) OR ((triple2) -> rule3))] The bald eagle is green.[(triple2)] The bald eagle is not kind.[(triple3 OR ((triple1 triple2) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] The bald eagle is not nice.[(triple4)] The bald eagle is not round.[(triple5 OR ((triple2) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple2) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
((triple1 triple2) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
((((triple2) -> (rule2 % int2)) triple2) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple4
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple5
((triple2) -> (rule6 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1