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