The bald eagle eats the lion. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The cat chases the bald eagle. The cat needs the bald eagle. The cat needs the rabbit. The lion does not eat the cat. The lion eats the rabbit. The lion is nice. The lion needs the bald eagle. The lion needs the cat. The lion needs the rabbit. The rabbit is cold. If something eats the bald eagle then it needs the lion. If something is blue then it chases the lion. If the lion needs the bald eagle and the lion is young then the bald eagle does not eat the cat. If something chases the bald eagle then it is green. If something needs the cat then it is not young. If something is green and it chases the bald eagle then the bald eagle is blue. If something eats the bald eagle then the bald eagle is not blue. If something chases the lion then it needs the cat. If something needs the cat then it eats the rabbit.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If something eats the bald eagle then it needs the lion.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "lion" "+"))
If something is blue then it chases the lion.
((("something" "is" "blue" "+")) -> ("something" "chases" "lion" "+"))
If the lion needs the bald eagle and the lion is young then the bald eagle does not eat the cat.
((("lion" "needs" "bald eagle" "+") ("lion" "is" "young" "+")) -> ("bald eagle" "eats" "cat" "-"))
If something chases the bald eagle then it is green.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something needs the cat then it is not young.
((("something" "needs" "cat" "+")) -> ("something" "is" "young" "-"))
If something is green and it chases the bald eagle then the bald eagle is blue.
((("something" "is" "green" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something eats the bald eagle then the bald eagle is not blue.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "-"))
If something chases the lion then it needs the cat.
((("something" "chases" "lion" "+")) -> ("something" "needs" "cat" "+"))
If something needs the cat then it eats the rabbit.
((("something" "needs" "cat" "+")) -> ("something" "eats" "rabbit" "+"))
The lion needs the cat.
True
1
proof
[(triple12)]
("lion" "needs" "cat" "+")
triple12
The cat does not need the rabbit.
False
1
inv-proof
[(triple7)]
("cat" "needs" "rabbit" "-")
triple7
The lion is not young.
True
2
proof
[(((triple12) -> rule5))]
("lion" "is" "young" "-")
((triple12) -> (rule5 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The lion is young.
False
2
inv-proof
[(((triple12) -> rule5))]
("lion" "is" "young" "+")
((triple12) -> (rule5 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The bald eagle is blue.
True
4
proof
[(((((triple5) -> rule4) triple5) -> rule6))]
("bald eagle" "is" "blue" "+")
((((triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The bald eagle is not blue.
False
4
inv-proof
[(((((triple5) -> rule4) triple5) -> rule6))]
("bald eagle" "is" "blue" "-")
((((triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The bald eagle chases the lion.
True
5
proof
[(((((((triple5) -> rule4) triple5) -> rule6)) -> rule2))]
("bald eagle" "chases" "lion" "+")
((((((triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle does not chase the lion.
False
5
inv-proof
[(((((((triple5) -> rule4) triple5) -> rule6)) -> rule2))]
("bald eagle" "chases" "lion" "-")
((((((triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle needs the cat.
True
6
proof
[(((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8))]
("bald eagle" "needs" "cat" "+")
((((((((triple5) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The bald eagle does not need the cat.
False
6
inv-proof
[(((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8))]
("bald eagle" "needs" "cat" "-")
((((((((triple5) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The bald eagle is not young.
True
7
proof
[(((((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8)) -> rule5))]
("bald eagle" "is" "young" "-")
((((((((((triple5) -> (rule4 % int5)) triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The bald eagle is young.
False
7
inv-proof
[(((((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8)) -> rule5))]
("bald eagle" "is" "young" "+")
((((((((((triple5) -> (rule4 % int5)) triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@3: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cat eats the rabbit.
Unknown
rconc
[@3: The cat eats the rabbit.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule2 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "lion" "-")
The cat needs the lion.
Unknown
rconc
[@1: The cat needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "lion" "+")
The cat does not need the cat.
Unknown
inv-rconc
[@2: The cat needs the cat.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("cat" "needs" "cat" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "+")
The cat does not eat the lion.
Unknown
inv-random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
The lion does not chase the rabbit.
Unknown
inv-random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat needs the rabbit.[(triple7)] The lion does not eat the cat.[(triple8)] The lion eats the rabbit.[(triple9 OR ((triple12) -> rule9))] The lion is nice.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the cat.[(triple12)] The lion needs the rabbit.[(triple13)] The rabbit is cold.[(triple14)] @1: The cat is green.[(((triple5) -> rule4))] The lion is not young.[(((triple12) -> rule5))] @2: The bald eagle is blue.[(((((triple5) -> rule4) triple5) -> rule6))] @3: The bald eagle chases the lion.[(((((((triple5) -> rule4) triple5) -> rule6)) -> rule2))] @4: The bald eagle needs the cat.[(((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8))] @5: The bald eagle eats the rabbit.[(((((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8)) -> rule9))] The bald eagle is not young.[(((((((((((triple5) -> rule4) triple5) -> rule6)) -> rule2)) -> rule8)) -> rule5))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple7
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple8
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple9
((triple12) -> (rule9 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The cat is green.
("cat" "is" "green" "+")
((triple5) -> (rule4 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The lion is not young.
("lion" "is" "young" "-")
((triple12) -> (rule5 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple5) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((((((triple5) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((((((((triple5) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((((((((((triple5) -> (rule4 % int5)) triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((((((((((triple5) -> (rule4 % int5)) triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5