The bald eagle eats the mouse. The lion is cold. The mouse eats the lion. The squirrel eats the lion. If someone sees the lion then the lion sees the squirrel. If someone sees the bald eagle and the bald eagle eats the mouse then the mouse eats the bald eagle. If someone eats the lion then the lion chases the squirrel. If someone eats the lion then the lion sees the squirrel. If someone is round then they see the squirrel. If someone is blue and they chase the bald eagle then they eat the lion.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If someone sees the lion then the lion sees the squirrel.
((("someone" "sees" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
If someone sees the bald eagle and the bald eagle eats the mouse then the mouse eats the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone eats the lion then the lion chases the squirrel.
((("someone" "eats" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If someone eats the lion then the lion sees the squirrel.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
If someone is round then they see the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is blue and they chase the bald eagle then they eat the lion.
((("someone" "is" "blue" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "lion" "+"))
The mouse eats the lion.
True
1
proof
[(triple3)]
("mouse" "eats" "lion" "+")
triple3
The mouse does not eat the lion.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "lion" "-")
triple3
The lion sees the squirrel.
True
2
proof
[(((triple3) -> rule4) OR ((triple4) -> rule4))]
("lion" "sees" "squirrel" "+")
((triple3) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
((triple4) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion does not see the squirrel.
False
2
inv-proof
[(((triple3) -> rule4) OR ((triple4) -> rule4))]
("lion" "sees" "squirrel" "-")
((triple3) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
((triple4) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The bald eagle sees the squirrel.
Unknown
rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "squirrel" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1)] The lion is cold.[(triple2)] The mouse eats the lion.[(triple3)] The squirrel eats the lion.[(triple4)] @1: The lion chases the squirrel.[(((triple3) -> rule3) OR ((triple4) -> rule3))] The lion sees the squirrel.[(((triple3) -> rule4) OR ((triple4) -> rule4))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple3) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
((triple4) -> (rule3 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
((triple3) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
((triple4) -> (rule4 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1