The bald eagle is big. The bald eagle does not like the bear. The bald eagle needs the bear. The bald eagle needs the mouse. The bear is big. The bear is not kind. The bear likes the bald eagle. The mouse is nice. The mouse likes the bald eagle. The mouse likes the bear. The mouse needs the bear. The mouse visits the bear. If the bear visits the bald eagle then the bear is big. If something is green and kind then it likes the mouse. If something needs the mouse and it does not like the bald eagle then the bald eagle visits the mouse. If something needs the mouse then the mouse is round. If something is round and nice then it does not need the bald eagle. If something needs the mouse and it visits the bald eagle then the bald eagle needs the mouse. If something is round and not big then it visits the mouse. If the bald eagle likes the bear and the bear does not visit the mouse then the bald eagle needs the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If the bear visits the bald eagle then the bear is big.
((("bear" "visits" "bald eagle" "+")) -> ("bear" "is" "big" "+"))
If something is green and kind then it likes the mouse.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "mouse" "+"))
If something needs the mouse and it does not like the bald eagle then the bald eagle visits the mouse.
((("something" "needs" "mouse" "+") ("something" "likes" "bald eagle" "~")) -> ("bald eagle" "visits" "mouse" "+"))
If something needs the mouse then the mouse is round.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If something is round and nice then it does not need the bald eagle.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "bald eagle" "-"))
If something needs the mouse and it visits the bald eagle then the bald eagle needs the mouse.
((("something" "needs" "mouse" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If something is round and not big then it visits the mouse.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "visits" "mouse" "+"))
If the bald eagle likes the bear and the bear does not visit the mouse then the bald eagle needs the bear.
((("bald eagle" "likes" "bear" "+") ("bear" "visits" "mouse" "~")) -> ("bald eagle" "needs" "bear" "+"))
The mouse is nice.
True
1
proof
[(triple8)]
("mouse" "is" "nice" "+")
triple8
The mouse does not need the bear.
False
1
inv-proof
[(triple11)]
("mouse" "needs" "bear" "-")
triple11
The mouse is round.
True
2
proof
[(((triple4) -> rule4))]
("mouse" "is" "round" "+")
((triple4) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple4) -> rule4))]
("mouse" "is" "round" "-")
((triple4) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse does not need the bald eagle.
True
4
proof
[(((((triple4) -> rule4) triple8) -> rule5))]
("mouse" "needs" "bald eagle" "-")
((((triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse needs the bald eagle.
False
4
inv-proof
[(((((triple4) -> rule4) triple8) -> rule5))]
("mouse" "needs" "bald eagle" "+")
((((triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear does not visit the mouse.
Unknown
inv-rconc
[@1: The bear visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "visits" "mouse" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
@0: The bald eagle does not like the bear.[(triple2)] The bald eagle is big.[(triple1)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bear is big.[(triple5)] The bear is not kind.[(triple6)] The bear likes the bald eagle.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse likes the bear.[(triple10)] The mouse needs the bear.[(triple11)] The mouse visits the bear.[(triple12)] @1: The mouse is round.[(((triple4) -> rule4))] @2: The mouse does not need the bald eagle.[(((((triple4) -> rule4) triple8) -> rule5))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is not kind.
("bear" "is" "kind" "-")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple9
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple11
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
((triple4) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
((((triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2