The bald eagle eats the lion. The bald eagle is green. The lion chases the mouse. The lion eats the bald eagle. The lion is kind. The lion is round. The lion sees the mouse. The mouse eats the lion. The mouse is green. The mouse is round. The mouse sees the bald eagle. The mouse sees the tiger. The tiger does not chase the lion. The tiger is nice. The tiger sees the bald eagle. The tiger sees the mouse. If someone chases the lion then they see the bald eagle. If someone chases the tiger and they eat the bald eagle then the bald eagle chases the lion. If the lion chases the tiger and the tiger does not chase the lion then the tiger sees the bald eagle. If someone eats the mouse then they see the tiger. If someone chases the tiger and they are kind then the tiger is not kind. If someone is kind then they eat the mouse.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone chases the lion then they see the bald eagle.
((("someone" "chases" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the tiger and they eat the bald eagle then the bald eagle chases the lion.
((("someone" "chases" "tiger" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the lion chases the tiger and the tiger does not chase the lion then the tiger sees the bald eagle.
((("lion" "chases" "tiger" "+") ("tiger" "chases" "lion" "~")) -> ("tiger" "sees" "bald eagle" "+"))
If someone eats the mouse then they see the tiger.
((("someone" "eats" "mouse" "+")) -> ("someone" "sees" "tiger" "+"))
If someone chases the tiger and they are kind then the tiger is not kind.
((("someone" "chases" "tiger" "+") ("someone" "is" "kind" "+")) -> ("tiger" "is" "kind" "-"))
If someone is kind then they eat the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "mouse" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple4)]
("lion" "eats" "bald eagle" "+")
triple4
The mouse does not see the tiger.
False
1
inv-proof
[(triple12)]
("mouse" "sees" "tiger" "-")
triple12
The lion eats the mouse.
True
2
proof
[(((triple5) -> rule6))]
("lion" "eats" "mouse" "+")
((triple5) -> (rule6 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion does not eat the mouse.
False
2
inv-proof
[(((triple5) -> rule6))]
("lion" "eats" "mouse" "-")
((triple5) -> (rule6 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion sees the tiger.
True
3
proof
[(((((triple5) -> rule6)) -> rule4))]
("lion" "sees" "tiger" "+")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int2
The lion does not see the tiger.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule4))]
("lion" "sees" "tiger" "-")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The bald eagle eats the mouse.
Unknown
rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "mouse" "+")
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is green.[(triple2)] The lion chases the mouse.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is kind.[(triple5)] The lion is round.[(triple6)] The lion sees the mouse.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is green.[(triple9)] The mouse is round.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger does not chase the lion.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The lion eats the mouse.[(((triple5) -> rule6))] @2: The lion sees the tiger.[(((((triple5) -> rule6)) -> rule4))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple11
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple12
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16
The lion eats the mouse.
("lion" "eats" "mouse" "+")
((triple5) -> (rule6 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int2