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