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