The cat chases the dog. The cat does not chase the squirrel. The cat is blue. The cat is cold. The cat is green. The cat is young. The cat likes the dog. The cat does not like the squirrel. The cat sees the dog. The cat does not see the squirrel. The dog chases the cat. The dog is green. The dog is nice. The dog sees the squirrel. The squirrel chases the cat. The squirrel does not see the dog. If someone likes the squirrel and the squirrel is young then they are not blue. If someone chases the dog then they are blue. If someone is blue then they like the dog. If someone is blue then they like the dog. If someone chases the dog and they are green then the dog is nice. If someone is blue and they chase the dog then the dog chases the squirrel. If someone is blue and they chase the dog then the dog chases the squirrel. If someone is young then they are not nice.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
If someone likes the squirrel and the squirrel is young then they are not blue.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
If someone chases the dog then they are blue.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they like the dog.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "dog" "+"))
If someone is blue then they like the dog.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the dog and they are green then the dog is nice.
((("someone" "chases" "dog" "+") ("someone" "is" "green" "+")) -> ("dog" "is" "nice" "+"))
If someone is blue and they chase the dog then the dog chases the squirrel.
((("someone" "is" "blue" "+") ("someone" "chases" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone is blue and they chase the dog then the dog chases the squirrel.
((("someone" "is" "blue" "+") ("someone" "chases" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If someone is young then they are not nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
The cat does not chase the squirrel.
True
1
proof
[(triple2)]
("cat" "chases" "squirrel" "-")
triple2
The dog does not see the squirrel.
False
1
inv-proof
[(triple14)]
("dog" "sees" "squirrel" "-")
triple14
The dog chases the squirrel.
True
3
proof
[(((triple3 triple1) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule7))]
("dog" "chases" "squirrel" "+")
((triple3 triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((triple3 triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The dog does not chase the squirrel.
False
3
inv-proof
[(((triple3 triple1) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule7))]
("dog" "chases" "squirrel" "-")
((triple3 triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((triple3 triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "blue" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cat chases the dog.[(triple1)] The cat does not chase the squirrel.[(triple2)] The cat does not like the squirrel.[(triple8)] The cat does not see the squirrel.[(triple10)] The cat is blue.[(triple3 OR ((triple1) -> rule2))] The cat is cold.[(triple4)] The cat is green.[(triple5)] The cat is young.[(triple6)] The cat likes the dog.[(triple7 OR ((triple3) -> rule3) OR ((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule2)) -> rule4))] The cat sees the dog.[(triple9)] The dog chases the cat.[(triple11)] The dog is green.[(triple12)] The dog is nice.[(triple13 OR ((triple1 triple5) -> rule5))] The dog sees the squirrel.[(triple14)] The squirrel chases the cat.[(triple15)] The squirrel does not see the dog.[(triple16)] @1: The cat is not nice.[(((triple6) -> rule8))] The dog chases the squirrel.[(((triple3 triple1) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple1) -> rule2) triple1) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule7))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple2
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple8
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple10
The cat is blue.
("cat" "is" "blue" "+")
triple3
((triple1) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the dog.
("cat" "likes" "dog" "+")
triple7
((triple3) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
((triple3) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat sees the dog.
("cat" "sees" "dog" "+")
triple9
The dog chases the cat.
("dog" "chases" "cat" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
triple13
((triple1 triple5) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple14
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple15
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
triple16
The cat is not nice.
("cat" "is" "nice" "-")
((triple6) -> (rule8 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple3 triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((triple3 triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2