The bald eagle chases the mouse. The bald eagle is not kind. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is green. The mouse is nice. The mouse likes the bald eagle. The mouse visits the bald eagle. If someone visits the bald eagle then they are green. If someone is round and not young then they chase the bald eagle. If someone chases the mouse then they visit the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone visits the bald eagle then they are green.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone is round and not young then they chase the bald eagle.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the mouse then they visit the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple7)]
("bald eagle" "visits" "mouse" "-")
triple7
The bald eagle visits the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "visits" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("bald eagle" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is not green.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("bald eagle" "is" "green" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
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 mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is nice.[(triple3)] The bald eagle is not kind.[(triple2)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is green.[(triple9 OR ((triple12) -> rule1))] The mouse is nice.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle is green.[(((((triple1) -> rule3)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple6
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
((triple12) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple12
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2