The bald eagle is blue. The bald eagle is green. The bald eagle is kind. All green things are rough. Green, kind things are rough. All blue, nice things are rough. If something is rough then it is blue. If the bald eagle is rough and the bald eagle is blue then the bald eagle is green. If something is blue then it is kind. If the bald eagle is nice then the bald eagle is blue. If something is green then it is nice.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Green, kind things are rough.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All blue, nice things are rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle is rough and the bald eagle is blue then the bald eagle is green.
((("bald eagle" "is" "rough" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "green" "+"))
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If the bald eagle is nice then the bald eagle is blue.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
The bald eagle is kind.
True
1
proof
[(triple3 OR ((triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule8)) -> rule7)) -> rule6))]
("bald eagle" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is not green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "-")
triple2
The bald eagle is nice.
True
2
proof
[(((triple2) -> rule8))]
("bald eagle" "is" "nice" "+")
((triple2) -> (rule8 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule8))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule8 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
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 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) -> rule1)) -> rule4) OR ((((triple2) -> rule8)) -> rule7) OR ((((triple2 triple3) -> rule2)) -> rule4))] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule8)) -> rule7)) -> rule6))] @1: The bald eagle is nice.[(((triple2) -> rule8))] The bald eagle is rough.[(((triple2) -> rule1) OR ((triple2 triple3) -> rule2) OR ((triple1 ((triple2) -> rule8)) -> rule3) OR ((triple2 ((triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7) ((triple2) -> rule8)) -> rule3) OR ((triple2 ((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((((triple2 triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule8 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((triple2 triple3) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((triple1 ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((triple2 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple2 ((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4