The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is green. The bald eagle sees the lion. The lion chases the rabbit. The lion eats the bald eagle. The lion eats the rabbit. The lion is big. The lion is green. The lion is round. The lion sees the rabbit. The rabbit chases the bald eagle. The rabbit eats the lion. The rabbit is big. The rabbit is red. If something chases the lion and it eats the rabbit then the rabbit sees the lion. If the bald eagle chases the rabbit then the bald eagle sees the lion. If something sees the rabbit and the rabbit chases the lion then it eats the rabbit. If something chases the lion and the lion is round then the lion eats the bald eagle. If the rabbit sees the lion then the lion chases the bald eagle. If something eats the rabbit then it chases the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something chases the lion and it eats the rabbit then the rabbit sees the lion.
((("something" "chases" "lion" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "sees" "lion" "+"))
If the bald eagle chases the rabbit then the bald eagle sees the lion.
((("bald eagle" "chases" "rabbit" "+")) -> ("bald eagle" "sees" "lion" "+"))
If something sees the rabbit and the rabbit chases the lion then it eats the rabbit.
((("something" "sees" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("something" "eats" "rabbit" "+"))
If something chases the lion and the lion is round then the lion eats the bald eagle.
((("something" "chases" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "eats" "bald eagle" "+"))
If the rabbit sees the lion then the lion chases the bald eagle.
((("rabbit" "sees" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If something eats the rabbit then it chases the lion.
((("something" "eats" "rabbit" "+")) -> ("something" "chases" "lion" "+"))
The bald eagle is green.
True
1
proof
[(triple3)]
("bald eagle" "is" "green" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "green" "-")
triple3
The bald eagle chases the lion.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple7) -> rule6))]
("lion" "chases" "lion" "-")
((triple7) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The rabbit sees the lion.
True
4
proof
[(((((triple2) -> rule6) triple2) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1))]
("rabbit" "sees" "lion" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The rabbit does not see the lion.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1))]
("rabbit" "sees" "lion" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion chases the bald eagle.
True
5
proof
[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule5) OR ((((((triple7) -> rule6) triple7) -> rule1)) -> rule5))]
("lion" "chases" "bald eagle" "+")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
((((((triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion does not chase the bald eagle.
False
5
inv-proof
[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule5) OR ((((((triple7) -> rule6) triple7) -> rule1)) -> rule5))]
("lion" "chases" "bald eagle" "-")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
((((((triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The rabbit does not chase the lion.
Unknown
inv-rconc
[@2: The rabbit chases the lion.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("rabbit" "chases" "lion" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
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 bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion chases the rabbit.[(triple5)] The lion eats the bald eagle.[(triple6 OR ((((triple2) -> rule6) triple10) -> rule4) OR ((((triple7) -> rule6) triple10) -> rule4))] The lion eats the rabbit.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion is round.[(triple10)] The lion sees the rabbit.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is big.[(triple14)] The rabbit is red.[(triple15)] @1: The bald eagle chases the lion.[(((triple2) -> rule6))] The lion chases the lion.[(((triple7) -> rule6))] @2: The rabbit sees the lion.[(((((triple2) -> rule6) triple2) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule1))] @3: The lion chases the bald eagle.[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule5) OR ((((((triple7) -> rule6) triple7) -> rule1)) -> rule5))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
((((triple2) -> (rule6 % int2)) triple10) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple10) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple11
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple12
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple13
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple2) -> (rule6 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple7) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
((((((triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3