The cat chases the squirrel. The cat is not nice. The cat does not like the squirrel. The cat needs the squirrel. The dog is cold. The dog is not red. The dog does not need the cat. The squirrel chases the cat. The squirrel chases the dog. The squirrel is cold. The squirrel is young. The squirrel likes the cat. The squirrel likes the dog. The squirrel needs the cat. The squirrel does not need the dog. If something chases the squirrel and it does not like the squirrel then the squirrel chases the dog. If something needs the cat and it is nice then it needs the squirrel. If something is young and it does not like the dog then it does not chase the dog. If something chases the squirrel then the squirrel is nice. If something likes the dog and the dog is young then it needs the dog. If something is young and it likes the cat then it is not green. If the dog is nice then the dog is green. If something needs the dog then the dog chases the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog does not need the cat.
("dog" "needs" "cat" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
If something chases the squirrel and it does not like the squirrel then the squirrel chases the dog.
((("something" "chases" "squirrel" "+") ("something" "likes" "squirrel" "~")) -> ("squirrel" "chases" "dog" "+"))
If something needs the cat and it is nice then it needs the squirrel.
((("something" "needs" "cat" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "squirrel" "+"))
If something is young and it does not like the dog then it does not chase the dog.
((("something" "is" "young" "+") ("something" "likes" "dog" "~")) -> ("something" "chases" "dog" "-"))
If something chases the squirrel then the squirrel is nice.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If something likes the dog and the dog is young then it needs the dog.
((("something" "likes" "dog" "+") ("dog" "is" "young" "+")) -> ("something" "needs" "dog" "+"))
If something is young and it likes the cat then it is not green.
((("something" "is" "young" "+") ("something" "likes" "cat" "+")) -> ("something" "is" "green" "-"))
If the dog is nice then the dog is green.
((("dog" "is" "nice" "+")) -> ("dog" "is" "green" "+"))
If something needs the dog then the dog chases the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
The cat is not nice.
True
1
proof
[(triple2)]
("cat" "is" "nice" "-")
triple2
The dog needs the cat.
False
1
inv-proof
[(triple7)]
("dog" "needs" "cat" "+")
triple7
The squirrel is not green.
True
3
proof
[(((triple11 triple12) -> rule6))]
("squirrel" "is" "green" "-")
((triple11 triple12) -> (rule6 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "nice" "-")
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the squirrel.
True
4
proof
[(((triple14 ((triple1) -> rule4)) -> rule2))]
("squirrel" "needs" "squirrel" "+")
((triple14 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel does not need the squirrel.
False
4
inv-proof
[(((triple14 ((triple1) -> rule4)) -> rule2))]
("squirrel" "needs" "squirrel" "-")
((triple14 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The dog does not need the squirrel.
Unknown
inv-rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "squirrel" "-")
The cat needs the dog.
Unknown
rconc
[@1: The cat needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "needs" "dog" "+")
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog chases the cat.
Unknown
random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat chases the squirrel.[(triple1)] The cat does not like the squirrel.[(triple3)] The cat is not nice.[(triple2)] The cat needs the squirrel.[(triple4)] The dog does not need the cat.[(triple7)] The dog is cold.[(triple5)] The dog is not red.[(triple6)] The squirrel chases the cat.[(triple8)] The squirrel chases the dog.[(triple9 OR ((triple1 triple3) -> rule1))] The squirrel does not need the dog.[(triple15)] The squirrel is cold.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the cat.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel needs the cat.[(triple14)] @1: The squirrel is nice.[(((triple1) -> rule4))] The squirrel is not green.[(((triple11 triple12) -> rule6))] @2: The squirrel needs the squirrel.[(((triple14 ((triple1) -> rule4)) -> rule2))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple3
The cat is not nice.
("cat" "is" "nice" "-")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The dog does not need the cat.
("dog" "needs" "cat" "-")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is not red.
("dog" "is" "red" "-")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
((triple1 triple3) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
triple11
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not green.
("squirrel" "is" "green" "-")
((triple11 triple12) -> (rule6 % int1))
The squirrel is not green.
("squirrel" "is" "green" "-")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple14 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2