The bear is nice. The bear needs the cow. The cat chases the squirrel. The cat is nice. The cow chases the bear. The cow eats the squirrel. The cow is rough. The squirrel chases the cat. The squirrel is cold. The squirrel is not kind. The squirrel is nice. If someone needs the bear then the bear needs the squirrel. If someone chases the squirrel and they eat the cow then they are not green. If someone chases the squirrel then they are green. If someone eats the bear then they are not green. If someone chases the squirrel and they are rough then they need the squirrel. If someone is green then they need the cow. If someone chases the cow then they eat the cat. If someone needs the cow and they chase the squirrel then the cow chases the squirrel. If someone is kind then they chase the cat.
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone needs the bear then the bear needs the squirrel.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone chases the squirrel and they eat the cow then they are not green.
((("someone" "chases" "squirrel" "+") ("someone" "eats" "cow" "+")) -> ("someone" "is" "green" "-"))
If someone chases the squirrel then they are green.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone eats the bear then they are not green.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "green" "-"))
If someone chases the squirrel and they are rough then they need the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is green then they need the cow.
((("someone" "is" "green" "+")) -> ("someone" "needs" "cow" "+"))
If someone chases the cow then they eat the cat.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "cat" "+"))
If someone needs the cow and they chase the squirrel then the cow chases the squirrel.
((("someone" "needs" "cow" "+") ("someone" "chases" "squirrel" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone is kind then they chase the cat.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "cat" "+"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The bear is not nice.
False
1
inv-proof
[(triple1)]
("bear" "is" "nice" "-")
triple1
The cat is green.
True
2
proof
[(((triple3) -> rule3))]
("cat" "is" "green" "+")
((triple3) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple3) -> rule3))]
("cat" "is" "green" "-")
((triple3) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat needs the cow.
True
3
proof
[(((((triple3) -> rule3)) -> rule6))]
("cat" "needs" "cow" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat does not need the cow.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule6))]
("cat" "needs" "cow" "-")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cow chases the squirrel.
True
5
proof
[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule8))]
("cow" "chases" "squirrel" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow does not chase the squirrel.
False
5
inv-proof
[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule8))]
("cow" "chases" "squirrel" "-")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow needs the squirrel.
True
7
proof
[(((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8) triple7) -> rule5))]
("cow" "needs" "squirrel" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple7) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow is not green.
False
6
inv-proof
[(((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8)) -> rule3))]
("cow" "is" "green" "-")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow needs the cow.
True
7
proof
[(((((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8)) -> rule3)) -> rule6))]
("cow" "needs" "cow" "+")
((((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4)) triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The cow does not need the cow.
False
7
inv-proof
[(((((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8)) -> rule3)) -> rule6))]
("cow" "needs" "cow" "-")
((((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4)) triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The cow does not chase the cat.
Unknown
inv-rconc
[@1: The cow chases the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cow" "chases" "cat" "-")
The bear eats the cat.
Unknown
rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "eats" "cat" "+")
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "chases" "cat" "-")
The cow eats the cat.
Unknown
rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "eats" "cat" "+")
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "green" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear is nice.[(triple1)] The bear needs the cow.[(triple2)] The cat chases the squirrel.[(triple3)] The cat is nice.[(triple4)] The cow chases the bear.[(triple5)] The cow eats the squirrel.[(triple6)] The cow is rough.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple11)] The squirrel is not kind.[(triple10)] @1: The cat is green.[(((triple3) -> rule3))] @2: The cat needs the cow.[(((((triple3) -> rule3)) -> rule6))] @3: The cow chases the squirrel.[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule8))] @4: The cow is green.[(((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8)) -> rule3))] The cow needs the squirrel.[(((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8) triple7) -> rule5))] @5: The cow needs the cow.[(((((((((((triple3) -> rule3)) -> rule6) triple3) -> rule8)) -> rule3)) -> rule6))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple3) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cat needs the cow.
("cat" "needs" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow is green.
("cow" "is" "green" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple7) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cat needs the cow.
("cat" "needs" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow needs the cow.
("cow" "needs" "cow" "+")
((((((((((triple3) -> (rule3 % int5))) -> (rule6 % int4)) triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cat needs the cow.
("cat" "needs" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5