The bald eagle is blue. The bald eagle is kind. The bald eagle is not nice. The bald eagle is rough. The bald eagle is not round. If someone is nice and not kind then they are rough. If someone is kind and nice then they are not rough. If someone is kind then they are blue. If someone is rough and not kind then they are blue. If someone is rough then they are blue. If someone is round and rough then they are nice. Kind, blue people are not nice. If the bald eagle is round and the bald eagle is rough then the bald eagle is not nice.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
If someone is nice and not kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is kind and nice then they are not rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and not kind then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Kind, blue people are not nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
If the bald eagle is round and the bald eagle is rough then the bald eagle is not nice.
((("bald eagle" "is" "round" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "is" "nice" "-"))
The bald eagle is not round.
True
1
proof
[(triple5)]
("bald eagle" "is" "round" "-")
triple5
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "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 blue.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule5))] The bald eagle is kind.[(triple2)] The bald eagle is not nice.[(triple3 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple2) -> rule3)) -> rule7) OR ((triple2 ((triple4) -> rule5)) -> rule7))] The bald eagle is not round.[(triple5)] The bald eagle is rough.[(triple4)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
((triple2) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
((triple4) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple3
((triple2 triple1) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
((triple2 ((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4