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