The bear chases the squirrel. The bear needs the squirrel. The cat is blue. The cat needs the squirrel. The cat visits the bear. The squirrel chases the bear. The squirrel chases the cat. The squirrel is blue. The squirrel is green. The squirrel needs the bear. The squirrel needs the cat. The squirrel visits the bear. If something is young and it needs the squirrel then it visits the cat. If something is big then it chases the cat. If something is big and it visits the squirrel then the squirrel is big. If something visits the cat then the cat chases the bear. If something is green and it visits the cat then it is red. If something needs the squirrel then it is young. If something needs the squirrel then the squirrel needs the cat. If something visits the cat and the cat is blue then the cat chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something is young and it needs the squirrel then it visits the cat.
((("something" "is" "young" "+") ("something" "needs" "squirrel" "+")) -> ("something" "visits" "cat" "+"))
If something is big then it chases the cat.
((("something" "is" "big" "+")) -> ("something" "chases" "cat" "+"))
If something is big and it visits the squirrel then the squirrel is big.
((("something" "is" "big" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If something visits the cat then the cat chases the bear.
((("something" "visits" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something is green and it visits the cat then it is red.
((("something" "is" "green" "+") ("something" "visits" "cat" "+")) -> ("something" "is" "red" "+"))
If something needs the squirrel then it is young.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something needs the squirrel then the squirrel needs the cat.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If something visits the cat and the cat is blue then the cat chases the bear.
((("something" "visits" "cat" "+") ("cat" "is" "blue" "+")) -> ("cat" "chases" "bear" "+"))
The squirrel needs the cat.
True
1
proof
[(triple11 OR ((triple2) -> rule7) OR ((triple4) -> rule7))]
("squirrel" "needs" "cat" "+")
triple11
((triple2) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((triple4) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat is not blue.
False
1
inv-proof
[(triple3)]
("cat" "is" "blue" "-")
triple3
The cat is young.
True
2
proof
[(((triple4) -> rule6))]
("cat" "is" "young" "+")
((triple4) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple2) -> rule6))]
("bear" "is" "young" "-")
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear visits the cat.
True
4
proof
[(((((triple2) -> rule6) triple2) -> rule1))]
("bear" "visits" "cat" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear does not visit the cat.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule1))]
("bear" "visits" "cat" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The cat chases the bear.
True
5
proof
[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule4) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule6) triple4) -> rule1) triple3) -> rule8))]
("cat" "chases" "bear" "+")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat does not chase the bear.
False
5
inv-proof
[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule4) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule6) triple4) -> rule1) triple3) -> rule8))]
("cat" "chases" "bear" "-")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cat" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "young" "+")
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "cat" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "big" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bear chases the squirrel.[(triple1)] The bear needs the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat needs the squirrel.[(triple4)] The cat visits the bear.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel needs the cat.[(triple11 OR ((triple2) -> rule7) OR ((triple4) -> rule7))] The squirrel visits the bear.[(triple12)] @1: The bear is young.[(((triple2) -> rule6))] The cat is young.[(((triple4) -> rule6))] @2: The bear visits the cat.[(((((triple2) -> rule6) triple2) -> rule1))] The cat visits the cat.[(((((triple4) -> rule6) triple4) -> rule1))] @3: The cat chases the bear.[(((((((triple2) -> rule6) triple2) -> rule1)) -> rule4) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule1) triple3) -> rule8) OR ((((((triple4) -> rule6) triple4) -> rule1) triple3) -> rule8))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat visits the bear.
("cat" "visits" "bear" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
((triple2) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((triple4) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple4) -> (rule6 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3
((((((triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is young.
("cat" "is" "young" "+")
int3