The bald eagle is not big. The bald eagle is cold. The bald eagle is red. The bald eagle is rough. The bald eagle is round. Big people are not red. If someone is big and cold then they are not red. All round people are red. All rough, round people are red. All red, big people are not round. Round people are cold. If someone is round and not big then they are rough. If someone is round and not big then they are rough.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
Big people are not red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
If someone is big and cold then they are not red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "-"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All rough, round people are red.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All red, big people are not round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and not big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If someone is round and not big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
The bald eagle is red.
True
1
proof
[(triple3 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule4) OR ((((triple5 triple1) -> rule7) triple5) -> rule4) OR ((((triple5 triple1) -> rule8) triple5) -> rule4))]
("bald eagle" "is" "red" "+")
triple3
((triple5) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple4 triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((((triple5 triple1) -> (rule7 % int2)) triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((((triple5 triple1) -> (rule8 % int2)) triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is not round.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "round" "-")
triple5
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 sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is cold.[(triple2 OR ((triple5) -> rule6))] The bald eagle is not big.[(triple1)] The bald eagle is red.[(triple3 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule4) OR ((((triple5 triple1) -> rule7) triple5) -> rule4) OR ((((triple5 triple1) -> rule8) triple5) -> rule4))] The bald eagle is rough.[(triple4 OR ((triple5 triple1) -> rule7) OR ((triple5 triple1) -> rule8))] The bald eagle is round.[(triple5)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple5) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
((triple5) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple4 triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((((triple5 triple1) -> (rule7 % int2)) triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((((triple5 triple1) -> (rule8 % int2)) triple5) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
((triple5 triple1) -> (rule7 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((triple5 triple1) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5