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