The bald eagle eats the bear. The bald eagle visits the bear. The bear is not big. The bear is blue. The bear is nice. The bear needs the bald eagle. The bear visits the bald eagle. If something is nice and it visits the bald eagle then it needs the bear. If something needs the bear then it is red. If something is blue and it visits the bear then it needs the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If something is nice and it visits the bald eagle then it needs the bear.
((("something" "is" "nice" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "needs" "bear" "+"))
If something needs the bear then it is red.
((("something" "needs" "bear" "+")) -> ("something" "is" "red" "+"))
If something is blue and it visits the bear then it needs the bald eagle.
((("something" "is" "blue" "+") ("something" "visits" "bear" "+")) -> ("something" "needs" "bald eagle" "+"))
The bear is blue.
True
1
proof
[(triple4)]
("bear" "is" "blue" "+")
triple4
The bear is not nice.
False
1
inv-proof
[(triple5)]
("bear" "is" "nice" "-")
triple5
The bear needs the bear.
True
3
proof
[(((triple5 triple7) -> rule1))]
("bear" "needs" "bear" "+")
((triple5 triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("bear" "needs" "bear" "-")
((triple5 triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is red.
True
4
proof
[(((((triple5 triple7) -> rule1)) -> rule2))]
("bear" "is" "red" "+")
((((triple5 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is not red.
False
4
inv-proof
[(((((triple5 triple7) -> rule1)) -> rule2))]
("bear" "is" "red" "-")
((((triple5 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bald eagle is not red.
Unknown
inv-rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle needs the bear.
Unknown
rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bear" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear is blue.[(triple4)] The bear is nice.[(triple5)] The bear is not big.[(triple3)] The bear needs the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7)] @1: The bear needs the bear.[(((triple5 triple7) -> rule1))] @2: The bear is red.[(((((triple5 triple7) -> rule1)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple5 triple7) -> (rule1 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple5 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2