The bald eagle is green. The bald eagle is round. The bald eagle is young. The bear visits the mouse. The dog needs the bald eagle. The dog sees the bald eagle. The mouse visits the bear. If someone visits the bear and the bear visits the bald eagle then the bald eagle sees the mouse. If someone needs the dog then they visit the mouse. If someone needs the bear and the bear is young then they are green. If someone is green and they visit the bald eagle then the bald eagle needs the bear. If someone is round then they see the bear. If someone needs the bald eagle and the bald eagle sees the bear then they are kind.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone visits the bear and the bear visits the bald eagle then the bald eagle sees the mouse.
((("someone" "visits" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If someone needs the dog then they visit the mouse.
((("someone" "needs" "dog" "+")) -> ("someone" "visits" "mouse" "+"))
If someone needs the bear and the bear is young then they are green.
((("someone" "needs" "bear" "+") ("bear" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and they visit the bald eagle then the bald eagle needs the bear.
((("someone" "is" "green" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If someone is round then they see the bear.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bear" "+"))
If someone needs the bald eagle and the bald eagle sees the bear then they are kind.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("someone" "is" "kind" "+"))
The mouse visits the bear.
True
1
proof
[(triple7)]
("mouse" "visits" "bear" "+")
triple7
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle sees the bear.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "sees" "bear" "+")
((triple2) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle does not see the bear.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "sees" "bear" "-")
((triple2) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "kind" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog needs the bear.
Unknown
random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bear visits the mouse.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog sees the bald eagle.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bald eagle sees the bear.[(((triple2) -> rule5))] @2: The dog is kind.[(((triple5 ((triple2) -> rule5)) -> rule6))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple7
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple2) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple5 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2