The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is red. The bald eagle is young. The bald eagle does not see the lion. The bald eagle sees the rabbit. The lion chases the bald eagle. The lion eats the rabbit. The lion is big. The lion is round. The lion sees the rabbit. The rabbit does not chase the bald eagle. If the lion is big then the lion does not see the bald eagle. If something is red and round then it chases the lion. If something sees the rabbit then it is big. If something eats the rabbit then it is round. If something chases the bald eagle and it chases the rabbit then the rabbit sees the bald eagle. If the rabbit eats the bald eagle and the lion does not chase the rabbit then the rabbit is big. If something eats the lion and the lion is big then the lion eats the rabbit. If something sees the bald eagle and it is not big then the bald eagle sees the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
If the lion is big then the lion does not see the bald eagle.
((("lion" "is" "big" "+")) -> ("lion" "sees" "bald eagle" "-"))
If something is red and round then it chases the lion.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "chases" "lion" "+"))
If something sees the rabbit then it is big.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something eats the rabbit then it is round.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something chases the bald eagle and it chases the rabbit then the rabbit sees the bald eagle.
((("something" "chases" "bald eagle" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the rabbit eats the bald eagle and the lion does not chase the rabbit then the rabbit is big.
((("rabbit" "eats" "bald eagle" "+") ("lion" "chases" "rabbit" "~")) -> ("rabbit" "is" "big" "+"))
If something eats the lion and the lion is big then the lion eats the rabbit.
((("something" "eats" "lion" "+") ("lion" "is" "big" "+")) -> ("lion" "eats" "rabbit" "+"))
If something sees the bald eagle and it is not big then the bald eagle sees the lion.
((("something" "sees" "bald eagle" "+") ("something" "is" "big" "~")) -> ("bald eagle" "sees" "lion" "+"))
The bald eagle is red.
True
1
proof
[(triple3)]
("bald eagle" "is" "red" "+")
triple3
The bald eagle sees the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "lion" "+")
triple5
The bald eagle is big.
True
2
proof
[(((triple6) -> rule3))]
("bald eagle" "is" "big" "+")
((triple6) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple6) -> rule3))]
("bald eagle" "is" "big" "-")
((triple6) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "round" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not see the lion.[(triple5)] The bald eagle eats the lion.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the rabbit.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion eats the rabbit.[(triple8 OR ((triple2 triple9) -> rule7) OR ((triple2 ((triple11) -> rule3)) -> rule7))] The lion is big.[(triple9 OR ((triple11) -> rule3))] The lion is round.[(triple10 OR ((triple8) -> rule4) OR ((((triple2 triple9) -> rule7)) -> rule4) OR ((((triple2 ((triple11) -> rule3)) -> rule7)) -> rule4))] The lion sees the rabbit.[(triple11)] The rabbit does not chase the bald eagle.[(triple12)] @1: The bald eagle is big.[(((triple6) -> rule3))] The lion does not see the bald eagle.[(((triple9) -> rule1) OR ((((triple11) -> rule3)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple5
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple8
((triple2 triple9) -> (rule7 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
((triple2 ((triple11) -> (rule3 % int2))) -> (rule7 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is big.
("lion" "is" "big" "+")
triple9
((triple11) -> (rule3 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple10
((triple8) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((((triple2 triple9) -> (rule7 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
((((triple2 ((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
The lion is big.
("lion" "is" "big" "+")
int3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple11
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple12
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple6) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
((triple9) -> (rule1 % int1))
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
int1
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
int1
The lion is big.
("lion" "is" "big" "+")
int2