The bald eagle is nice. The bald eagle does not like the bear. The bald eagle does not see the bear. The bear is nice. The bear is red. The bear is not round. The bear is young. The bear does not like the bald eagle. The bear sees the bald eagle. The bear does not visit the bald eagle. If the bald eagle is young and the bald eagle likes the bear then the bear visits the bald eagle. If someone is nice and red then they see the bald eagle. If the bear is nice and the bald eagle does not visit the bear then the bear is green. Nice people are red. If someone sees the bear then they are green. If someone visits the bear and they do not see the bear then the bear does not like the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear is young.
("bear" "is" "young" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
If the bald eagle is young and the bald eagle likes the bear then the bear visits the bald eagle.
((("bald eagle" "is" "young" "+") ("bald eagle" "likes" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If someone is nice and red then they see the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the bear is nice and the bald eagle does not visit the bear then the bear is green.
((("bear" "is" "nice" "+") ("bald eagle" "visits" "bear" "~")) -> ("bear" "is" "green" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone sees the bear then they are green.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "green" "+"))
If someone visits the bear and they do not see the bear then the bear does not like the bald eagle.
((("someone" "visits" "bear" "+") ("someone" "sees" "bear" "~")) -> ("bear" "likes" "bald eagle" "-"))
The bear does not visit the bald eagle.
True
1
proof
[(triple10)]
("bear" "visits" "bald eagle" "-")
triple10
The bear visits the bald eagle.
False
1
inv-proof
[(triple10)]
("bear" "visits" "bald eagle" "+")
triple10
The bald eagle is red.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "red" "-")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule2))]
("bald eagle" "sees" "bald eagle" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not see the bald eagle.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule2))]
("bald eagle" "sees" "bald eagle" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "green" "+")
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 likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle does not like the bear.[(triple2)] The bald eagle does not see the bear.[(triple3)] The bald eagle is nice.[(triple1)] The bear does not like the bald eagle.[(triple8)] The bear does not visit the bald eagle.[(triple10)] The bear is nice.[(triple4)] The bear is not round.[(triple6)] The bear is red.[(triple5 OR ((triple4) -> rule4))] The bear is young.[(triple7)] The bear sees the bald eagle.[(triple9 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))] @1: The bald eagle is red.[(((triple1) -> rule4))] @2: The bald eagle sees the bald eagle.[(((triple1 ((triple1) -> rule4)) -> rule2))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple2
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple8
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple10
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not round.
("bear" "is" "round" "-")
triple6
The bear is red.
("bear" "is" "red" "+")
triple5
((triple4) -> (rule4 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple9
((triple4 triple5) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2