The bald eagle does not chase the bear. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle sees the bear. The bald eagle does not see the mouse. The bear chases the mouse. The bear sees the mouse. The lion chases the bald eagle. The lion is not nice. The mouse chases the bald eagle. The mouse is not cold. The mouse is not round. The mouse sees the bear. The mouse visits the bald eagle. The mouse visits the lion. If something sees the bear then it sees the bald eagle. If something chases the lion then the lion chases the bear. If something sees the bear and the bear is round then it is big. If something is nice then it is big. If the lion is nice and the lion is big then the lion is cold. If something is round and it sees the mouse then the mouse is round. If something is cold and round then it chases the bear. If something sees the lion and the lion visits the bald eagle then it is not nice.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something sees the bear then it sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the lion then the lion chases the bear.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "bear" "+"))
If something sees the bear and the bear is round then it is big.
((("something" "sees" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If the lion is nice and the lion is big then the lion is cold.
((("lion" "is" "nice" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "cold" "+"))
If something is round and it sees the mouse then the mouse is round.
((("something" "is" "round" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If something is cold and round then it chases the bear.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something sees the lion and the lion visits the bald eagle then it is not nice.
((("something" "sees" "lion" "+") ("lion" "visits" "bald eagle" "+")) -> ("something" "is" "nice" "-"))
The mouse sees the bear.
True
1
proof
[(triple13)]
("mouse" "sees" "bear" "+")
triple13
The mouse does not see the bear.
False
1
inv-proof
[(triple13)]
("mouse" "sees" "bear" "-")
triple13
The bear does not see the bald eagle.
Unknown
inv-rconc
[@1: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle chases the mouse.[(triple2)] The bald eagle does not chase the bear.[(triple1)] The bald eagle does not see the mouse.[(triple5)] The bald eagle is blue.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear chases the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion is not nice.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse is not cold.[(triple11)] The mouse is not round.[(triple12)] The mouse sees the bear.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the lion.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule1))] The mouse sees the bald eagle.[(((triple13) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple8
The lion is not nice.
("lion" "is" "nice" "-")
triple9
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple10
The mouse is not cold.
("mouse" "is" "cold" "-")
triple11
The mouse is not round.
("mouse" "is" "round" "-")
triple12
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple14
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple15
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple13) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1