The bald eagle does not eat the lion. The bald eagle needs the cat. The bear eats the cat. The cat chases the bear. The cat is nice. The cat does not need the bear. The lion needs the bald eagle. If something is kind and it chases the cat then the cat needs the lion. If something eats the bear and the bear does not chase the cat then it needs the bear. If the cat chases the bald eagle and the bald eagle is rough then the cat does not chase the lion. Cold things are round. If something needs the bald eagle and the bald eagle eats the bear then it is cold. If something chases the bear then it is rough. If the lion is cold and the lion needs the bald eagle then the lion chases the cat. If something is round then it chases the bear. If something needs the bald eagle then the bald eagle eats the bear.
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If something is kind and it chases the cat then the cat needs the lion.
((("something" "is" "kind" "+") ("something" "chases" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If something eats the bear and the bear does not chase the cat then it needs the bear.
((("something" "eats" "bear" "+") ("bear" "chases" "cat" "~")) -> ("something" "needs" "bear" "+"))
If the cat chases the bald eagle and the bald eagle is rough then the cat does not chase the lion.
((("cat" "chases" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("cat" "chases" "lion" "-"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something needs the bald eagle and the bald eagle eats the bear then it is cold.
((("something" "needs" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("something" "is" "cold" "+"))
If something chases the bear then it is rough.
((("something" "chases" "bear" "+")) -> ("something" "is" "rough" "+"))
If the lion is cold and the lion needs the bald eagle then the lion chases the cat.
((("lion" "is" "cold" "+") ("lion" "needs" "bald eagle" "+")) -> ("lion" "chases" "cat" "+"))
If something is round then it chases the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "+"))
If something needs the bald eagle then the bald eagle eats the bear.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
The cat is nice.
True
1
proof
[(triple5)]
("cat" "is" "nice" "+")
triple5
The lion does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("lion" "needs" "bald eagle" "-")
triple7
The cat is rough.
True
2
proof
[(((triple4) -> rule6))]
("cat" "is" "rough" "+")
((triple4) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple4) -> rule6))]
("cat" "is" "rough" "-")
((triple4) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion is cold.
True
4
proof
[(((triple7 ((triple7) -> rule9)) -> rule5))]
("lion" "is" "cold" "+")
((triple7 ((triple7) -> (rule9 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The lion is not cold.
False
4
inv-proof
[(((triple7 ((triple7) -> rule9)) -> rule5))]
("lion" "is" "cold" "-")
((triple7 ((triple7) -> (rule9 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The lion is round.
True
5
proof
[(((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4))]
("lion" "is" "round" "+")
((((triple7 ((triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The lion is not round.
False
5
inv-proof
[(((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4))]
("lion" "is" "round" "-")
((((triple7 ((triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The lion chases the bear.
True
6
proof
[(((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8))]
("lion" "chases" "bear" "+")
((((((triple7 ((triple7) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The lion does not chase the bear.
False
6
inv-proof
[(((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8))]
("lion" "chases" "bear" "-")
((((((triple7 ((triple7) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The lion is rough.
True
7
proof
[(((((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("lion" "is" "rough" "+")
((((((((triple7 ((triple7) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The lion is not rough.
False
7
inv-proof
[(((((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("lion" "is" "rough" "-")
((((((((triple7 ((triple7) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle is not rough.
Unknown
inv-rconc
[@4: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule4 <- rule5 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle needs the bear.
Unknown
rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "bear" "+")
The lion does not need the bear.
Unknown
inv-rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "bear" "-")
The bear is rough.
Unknown
rconc
[@4: The bear is rough.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule4 <- rule5 <- FAIL)]]
("bear" "is" "rough" "+")
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bear" "-")
The bald eagle is round.
Unknown
rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle needs the cat.[(triple2)] The bear eats the cat.[(triple3)] The cat chases the bear.[(triple4)] The cat does not need the bear.[(triple6)] The cat is nice.[(triple5)] The lion needs the bald eagle.[(triple7)] @1: The bald eagle eats the bear.[(((triple7) -> rule9))] The cat is rough.[(((triple4) -> rule6))] @2: The lion is cold.[(((triple7 ((triple7) -> rule9)) -> rule5))] @3: The lion chases the cat.[(((((triple7 ((triple7) -> rule9)) -> rule5) triple7) -> rule7))] The lion is round.[(((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4))] @4: The lion chases the bear.[(((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8))] @5: The lion is rough.[(((((((((triple7 ((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The cat chases the bear.
("cat" "chases" "bear" "+")
triple4
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple5
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple7) -> (rule9 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple4) -> (rule6 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple7 ((triple7) -> (rule9 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The lion chases the cat.
("lion" "chases" "cat" "+")
((((triple7 ((triple7) -> (rule9 % int3))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The lion is round.
("lion" "is" "round" "+")
((((triple7 ((triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The lion chases the bear.
("lion" "chases" "bear" "+")
((((((triple7 ((triple7) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
((((((((triple7 ((triple7) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5