The bald eagle is big. The bald eagle is blue. The bald eagle is not kind. The bald eagle is nice. The bald eagle is not round. If the bald eagle is blue then the bald eagle is not kind. If the bald eagle is round and the bald eagle is not blue then the bald eagle is kind. Nice, blue things are not round. If the bald eagle is not blue then the bald eagle is round. If something is nice and round then it is kind. If something is blue and not kind then it is big. If something is kind and not blue then it is big. If something is nice then it is big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
If the bald eagle is blue then the bald eagle is not kind.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "kind" "-"))
If the bald eagle is round and the bald eagle is not blue then the bald eagle is kind.
((("bald eagle" "is" "round" "+") ("bald eagle" "is" "blue" "~")) -> ("bald eagle" "is" "kind" "+"))
Nice, blue things are not round.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If the bald eagle is not blue then the bald eagle is round.
((("bald eagle" "is" "blue" "~")) -> ("bald eagle" "is" "round" "+"))
If something is nice and round then it is kind.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is blue and not kind then it is big.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "big" "+"))
If something is kind and not blue then it is big.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
The bald eagle is nice.
True
1
proof
[(triple4)]
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is kind.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("bald eagle" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule8) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule1)) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not kind.[(triple3 OR ((triple2) -> rule1))] The bald eagle is not round.[(triple5 OR ((triple4 triple2) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((triple4) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
((triple2 triple3) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
((triple2 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
((triple2) -> (rule1 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple5
((triple4 triple2) -> (rule3 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1