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