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