The bald eagle is red. The bald eagle needs the mouse. The bald eagle does not see the mouse. The cow is red. The cow is round. The cow is young. The cow sees the bald eagle. The cow sees the mouse. The mouse is not kind. The mouse needs the bald eagle. The mouse needs the cow. The mouse does not see the bald eagle. The mouse sees the cow. The mouse visits the bald eagle. The mouse visits the cow. If someone is kind then they do not see the mouse. If someone sees the bald eagle and they are round then the bald eagle is young. If someone is kind and they do not see the cow then they are young. If someone visits the mouse then the mouse sees the bald eagle. If someone visits the bald eagle and they see the bald eagle then the bald eagle visits the mouse. If someone sees the bald eagle and the bald eagle is young then the bald eagle is red. If someone is young then they are red. If someone is red and kind then they see the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone is kind then they do not see the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "mouse" "-"))
If someone sees the bald eagle and they are round then the bald eagle is young.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is kind and they do not see the cow then they are young.
((("someone" "is" "kind" "+") ("someone" "sees" "cow" "~")) -> ("someone" "is" "young" "+"))
If someone visits the mouse then the mouse sees the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If someone visits the bald eagle and they see the bald eagle then the bald eagle visits the mouse.
((("someone" "visits" "bald eagle" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If someone sees the bald eagle and the bald eagle is young then the bald eagle is red.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("bald eagle" "is" "red" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind then they see the bald eagle.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple14)]
("mouse" "visits" "bald eagle" "+")
triple14
The cow does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("cow" "sees" "bald eagle" "-")
triple7
The bald eagle is young.
True
3
proof
[(((triple7 triple5) -> rule2))]
("bald eagle" "is" "young" "+")
((triple7 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("bald eagle" "is" "young" "-")
((triple7 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle sees the cow.
Unknown
random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "+")
@0: The bald eagle does not see the mouse.[(triple3)] The bald eagle is red.[(triple1 OR ((((triple7 triple5) -> rule2)) -> rule7) OR ((triple7 ((triple7 triple5) -> rule2)) -> rule6))] The bald eagle needs the mouse.[(triple2)] The cow is red.[(triple4 OR ((triple6) -> rule7))] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow sees the mouse.[(triple8)] The mouse does not see the bald eagle.[(triple12)] The mouse is not kind.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse needs the cow.[(triple11)] The mouse sees the cow.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the cow.[(triple15)] @1: The bald eagle is young.[(((triple7 triple5) -> rule2))]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
((((triple7 triple5) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
((triple7 ((triple7 triple5) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple4
((triple6) -> (rule7 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple8
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
triple12
The mouse is not kind.
("mouse" "is" "kind" "-")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple11
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple7 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1