The cat chases the dog. The cat needs the squirrel. The cat does not need the tiger. The cat sees the tiger. The dog is blue. The squirrel chases the dog. The squirrel is nice. The squirrel is red. The squirrel does not need the cat. The tiger does not chase the cat. The tiger is not big. The tiger is blue. The tiger is not rough. The tiger needs the squirrel. The tiger does not see the squirrel. If someone sees the squirrel and they are not red then they see the tiger. If someone is big then they see the dog. If someone is blue and nice then they chase the squirrel. If the squirrel is big then the squirrel is rough. If someone chases the squirrel then the squirrel is rough. If someone needs the squirrel then the squirrel is blue.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
If someone sees the squirrel and they are not red then they see the tiger.
((("someone" "sees" "squirrel" "+") ("someone" "is" "red" "~")) -> ("someone" "sees" "tiger" "+"))
If someone is big then they see the dog.
((("someone" "is" "big" "+")) -> ("someone" "sees" "dog" "+"))
If someone is blue and nice then they chase the squirrel.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "squirrel" "+"))
If the squirrel is big then the squirrel is rough.
((("squirrel" "is" "big" "+")) -> ("squirrel" "is" "rough" "+"))
If someone chases the squirrel then the squirrel is rough.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone needs the squirrel then the squirrel is blue.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
The tiger is not big.
True
1
proof
[(triple11)]
("tiger" "is" "big" "-")
triple11
The squirrel needs the cat.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "cat" "+")
triple9
The squirrel is blue.
True
2
proof
[(((triple14) -> rule6) OR ((triple2) -> rule6))]
("squirrel" "is" "blue" "+")
((triple14) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple14) -> rule6) OR ((triple2) -> rule6))]
("squirrel" "is" "blue" "-")
((triple14) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
True
4
proof
[(((((triple14) -> rule6) triple7) -> rule3) OR ((((triple2) -> rule6) triple7) -> rule3))]
("squirrel" "chases" "squirrel" "+")
((((triple14) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not chase the squirrel.
False
4
inv-proof
[(((((triple14) -> rule6) triple7) -> rule3) OR ((((triple2) -> rule6) triple7) -> rule3))]
("squirrel" "chases" "squirrel" "-")
((((triple14) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is rough.
True
5
proof
[(((((((triple14) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple7) -> rule3)) -> rule5))]
("squirrel" "is" "rough" "+")
((((((triple14) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not rough.
False
5
inv-proof
[(((((((triple14) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple7) -> rule3)) -> rule5))]
("squirrel" "is" "rough" "-")
((((((triple14) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel does not see the dog.
Unknown
inv-rconc
[@1: The squirrel sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "dog" "-")
The tiger chases the squirrel.
Unknown
rconc
[@1: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "squirrel" "+")
The dog does not see the tiger.
Unknown
inv-rconc
[@1: The dog sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "tiger" "-")
The cat sees the dog.
Unknown
rconc
[@1: The cat sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "dog" "+")
The dog does not need the cat.
Unknown
inv-random
[@0: The dog needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cat" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat chases the dog.[(triple1)] The cat does not need the tiger.[(triple3)] The cat needs the squirrel.[(triple2)] The cat sees the tiger.[(triple4)] The dog is blue.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel does not need the cat.[(triple9)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The tiger does not chase the cat.[(triple10)] The tiger does not see the squirrel.[(triple15)] The tiger is blue.[(triple12)] The tiger is not big.[(triple11)] The tiger is not rough.[(triple13)] The tiger needs the squirrel.[(triple14)] @1: The squirrel is blue.[(((triple14) -> rule6) OR ((triple2) -> rule6))] @2: The squirrel chases the squirrel.[(((((triple14) -> rule6) triple7) -> rule3) OR ((((triple2) -> rule6) triple7) -> rule3))] @3: The squirrel is rough.[(((((((triple14) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple7) -> rule3)) -> rule5))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple10
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
triple15
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is not big.
("tiger" "is" "big" "-")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple14
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple14) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple14) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple2) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((triple14) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((((((triple2) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3