The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle likes the bear. The bald eagle needs the bear. The bear eats the bald eagle. The bear is green. The bear is nice. The bear likes the bald eagle. The bear needs the bald eagle. If the bald eagle is nice and the bald eagle likes the bear then the bear is cold. If someone is cold then they are red.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
If the bald eagle is nice and the bald eagle likes the bear then the bear is cold.
((("bald eagle" "is" "nice" "+") ("bald eagle" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
The bear is green.
True
1
proof
[(triple9)]
("bear" "is" "green" "+")
triple9
The bear does not need the bald eagle.
False
1
inv-proof
[(triple12)]
("bear" "needs" "bald eagle" "-")
triple12
The bald eagle is red.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "red" "+")
((triple3) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear is not cold.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("bear" "is" "cold" "-")
((triple5 triple6) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is red.
True
4
proof
[(((((triple5 triple6) -> rule1)) -> rule2))]
("bear" "is" "red" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is not red.
False
4
inv-proof
[(((((triple5 triple6) -> rule1)) -> rule2))]
("bear" "is" "red" "-")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "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 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" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle needs the bear.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear is green.[(triple9)] The bear is nice.[(triple10)] The bear likes the bald eagle.[(triple11)] The bear needs the bald eagle.[(triple12)] @1: The bald eagle is red.[(((triple3) -> rule2))] The bear is cold.[(((triple5 triple6) -> rule1))] @2: The bear is red.[(((((triple5 triple6) -> rule1)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple6
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple7
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple8
The bear is green.
("bear" "is" "green" "+")
triple9
The bear is nice.
("bear" "is" "nice" "+")
triple10
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple11
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple12
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple3) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((triple5 triple6) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2