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