The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle sees the bear. The bear is blue. The bear is green. The bear is nice. The bear is red. The bear is round. The bear likes the bald eagle. The bear needs the bald eagle. The bear sees the bald eagle. If something sees the bear then the bear sees the bald eagle. If something needs the bald eagle then it sees the bear. If something is blue then it sees the bear. If something sees the bear then it sees the bald eagle. If the bald eagle likes the bear and the bald eagle needs the bear then the bear likes the bald eagle. If something is round and green then it is blue.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
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 sees the bald eagle.
("bear" "sees" "bald eagle" "+")
If something sees the bear then the bear sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If something needs the bald eagle then it sees the bear.
((("something" "needs" "bald eagle" "+")) -> ("something" "sees" "bear" "+"))
If something is blue then it sees the bear.
((("something" "is" "blue" "+")) -> ("something" "sees" "bear" "+"))
If something sees the bear then it sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
If the bald eagle likes the bear and the bald eagle needs the bear then the bear likes the bald eagle.
((("bald eagle" "likes" "bear" "+") ("bald eagle" "needs" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If something is round and green then it is blue.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple16 OR ((triple8) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple15) -> rule2)) -> rule1) OR ((((triple15) -> rule2)) -> rule4) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3)) -> rule4) OR ((((((triple13 triple10) -> rule6)) -> rule3)) -> rule1) OR ((((((triple13 triple10) -> rule6)) -> rule3)) -> rule4) OR ((((((triple5 triple2) -> rule6)) -> rule3)) -> rule1))]
("bear" "sees" "bald eagle" "+")
triple16
((triple8) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((((triple13 triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple13 triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple5 triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is not blue.
False
1
inv-proof
[(triple1 OR ((triple5 triple2) -> rule6))]
("bald eagle" "is" "blue" "-")
triple1
((triple5 triple2) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear sees the bear.
True
2
proof
[(((triple15) -> rule2) OR ((triple9) -> rule3) OR ((((triple13 triple10) -> rule6)) -> rule3))]
("bear" "sees" "bear" "+")
((triple15) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple9) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((((triple13 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not see the bear.
False
2
inv-proof
[(((triple15) -> rule2) OR ((triple9) -> rule3) OR ((((triple13 triple10) -> rule6)) -> rule3))]
("bear" "sees" "bear" "-")
((triple15) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple9) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((((triple13 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
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 needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
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 blue.[(triple1 OR ((triple5 triple2) -> rule6))] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle needs the bear.[(triple7)] The bald eagle sees the bear.[(triple8 OR ((triple1) -> rule3) OR ((((triple5 triple2) -> rule6)) -> rule3))] The bear is blue.[(triple9 OR ((triple13 triple10) -> rule6))] The bear is green.[(triple10)] The bear is nice.[(triple11)] The bear is red.[(triple12)] The bear is round.[(triple13)] The bear likes the bald eagle.[(triple14 OR ((triple6 triple7) -> rule5))] The bear needs the bald eagle.[(triple15)] The bear sees the bald eagle.[(triple16 OR ((triple8) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple15) -> rule2)) -> rule1) OR ((((triple15) -> rule2)) -> rule4) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3)) -> rule4) OR ((((((triple13 triple10) -> rule6)) -> rule3)) -> rule1) OR ((((((triple13 triple10) -> rule6)) -> rule3)) -> rule4) OR ((((((triple5 triple2) -> rule6)) -> rule3)) -> rule1))] @1: The bald eagle sees the bald eagle.[(((triple8) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((((triple5 triple2) -> rule6)) -> rule3)) -> rule4))] The bear sees the bear.[(((triple15) -> rule2) OR ((triple9) -> rule3) OR ((((triple13 triple10) -> rule6)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
((triple5 triple2) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple6
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple7
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple8
((triple1) -> (rule3 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
((((triple5 triple2) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
triple9
((triple13 triple10) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple10
The bear is nice.
("bear" "is" "nice" "+")
triple11
The bear is red.
("bear" "is" "red" "+")
triple12
The bear is round.
("bear" "is" "round" "+")
triple13
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple14
((triple6 triple7) -> (rule5 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple15
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple16
((triple8) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
((((((triple13 triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple13 triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple5 triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple8) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
((((((triple5 triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple15) -> (rule2 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((triple9) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
((((triple13 triple10) -> (rule6 % int2))) -> (rule3 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2