The bald eagle is round. The bald eagle likes the bear. The bear is cold. The bear is nice. The bear is round. The bear does not like the bald eagle. The bear visits the bald eagle. If something sees the bald eagle and it is not cold then the bald eagle visits the bear. If the bear does not like the bald eagle then the bear does not see the bald eagle. If something sees the bald eagle then it likes the bear. If the bear does not see the bald eagle then the bald eagle is blue. Round, blue things are nice. If something is blue then it visits the bear.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If something sees the bald eagle and it is not cold then the bald eagle visits the bear.
((("something" "sees" "bald eagle" "+") ("something" "is" "cold" "~")) -> ("bald eagle" "visits" "bear" "+"))
If the bear does not like the bald eagle then the bear does not see the bald eagle.
((("bear" "likes" "bald eagle" "~")) -> ("bear" "sees" "bald eagle" "-"))
If something sees the bald eagle then it likes the bear.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "bear" "+"))
If the bear does not see the bald eagle then the bald eagle is blue.
((("bear" "sees" "bald eagle" "~")) -> ("bald eagle" "is" "blue" "+"))
Round, blue things are nice.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it visits the bear.
((("something" "is" "blue" "+")) -> ("something" "visits" "bear" "+"))
The bald eagle likes the bear.
True
1
proof
[(triple2)]
("bald eagle" "likes" "bear" "+")
triple2
The bear is not nice.
False
1
inv-proof
[(triple4)]
("bear" "is" "nice" "-")
triple4
The bear does not see the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("bear" "sees" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The bear sees the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "sees" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The bald eagle is blue.
True
3
proof
[(((((triple6) -> rule2)) -> rule4))]
("bald eagle" "is" "blue" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int2
The bald eagle is not blue.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule4))]
("bald eagle" "is" "blue" "-")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int2
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
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 bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear does not like the bald eagle.[(triple6)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is round.[(triple5)] The bear visits the bald eagle.[(triple7)] @1: The bear does not see the bald eagle.[(((triple6) -> rule2))] @2: The bald eagle is blue.[(((((triple6) -> rule2)) -> rule4))] @3: The bald eagle is nice.[(((triple1 ((((triple6) -> rule2)) -> rule4)) -> rule5))] The bald eagle visits the bear.[(((((((triple6) -> rule2)) -> rule4)) -> rule6))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
int3