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