The bald eagle is green. The bald eagle likes the bear. The bear is nice. The bear is round. The bear likes the bald eagle. The bear needs the bald eagle. The bear does not see the bald eagle. If something likes the bald eagle and it is round then the bald eagle is round. If something is round then it likes the bald eagle. If something sees the bear and it is round then it does not like the bear.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
If something likes the bald eagle and it is round then the bald eagle is round.
((("something" "likes" "bald eagle" "+") ("something" "is" "round" "+")) -> ("bald eagle" "is" "round" "+"))
If something is round then it likes the bald eagle.
((("something" "is" "round" "+")) -> ("something" "likes" "bald eagle" "+"))
If something sees the bear and it is round then it does not like the bear.
((("something" "sees" "bear" "+") ("something" "is" "round" "+")) -> ("something" "likes" "bear" "-"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle is round.
True
3
proof
[(((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))]
("bald eagle" "is" "round" "+")
((triple5 triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))]
("bald eagle" "is" "round" "-")
((triple5 triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
True
4
proof
[(((((triple5 triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule2) triple4) -> rule1)) -> rule2))]
("bald eagle" "likes" "bald eagle" "+")
((((triple5 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle does not like the bald eagle.
False
4
inv-proof
[(((((triple5 triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule2) triple4) -> rule1)) -> rule2))]
("bald eagle" "likes" "bald eagle" "-")
((((triple5 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
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" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear does not see the bald eagle.[(triple7)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear likes the bald eagle.[(triple5 OR ((triple4) -> rule2))] The bear needs the bald eagle.[(triple6)] @1: The bald eagle is round.[(((triple5 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))] @2: The bald eagle likes the bald eagle.[(((((triple5 triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule2) triple4) -> rule1)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple7
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
((triple4) -> (rule2 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple5 triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((triple5 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((((triple4) -> (rule2 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3