The cat chases the cow. The cat does not need the tiger. The cat visits the dog. The cow chases the tiger. The cow is cold. The cow is green. The cow visits the tiger. The dog is rough. The dog needs the cat. The dog needs the cow. The tiger is big. The tiger is round. The tiger needs the cow. The tiger visits the cat. The tiger visits the cow. The tiger visits the dog. If someone chases the cow then the cow chases the dog. If someone needs the tiger and the tiger chases the cat then the tiger does not need the cow. If the cat chases the dog and the dog does not chase the tiger then the dog does not chase the cow. If someone needs the tiger then they do not visit the tiger. If someone chases the dog then the dog needs the tiger. If the dog is green and the dog does not chase the cow then the cow visits the tiger.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone chases the cow then the cow chases the dog.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If someone needs the tiger and the tiger chases the cat then the tiger does not need the cow.
((("someone" "needs" "tiger" "+") ("tiger" "chases" "cat" "+")) -> ("tiger" "needs" "cow" "-"))
If the cat chases the dog and the dog does not chase the tiger then the dog does not chase the cow.
((("cat" "chases" "dog" "+") ("dog" "chases" "tiger" "~")) -> ("dog" "chases" "cow" "-"))
If someone needs the tiger then they do not visit the tiger.
((("someone" "needs" "tiger" "+")) -> ("someone" "visits" "tiger" "-"))
If someone chases the dog then the dog needs the tiger.
((("someone" "chases" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If the dog is green and the dog does not chase the cow then the cow visits the tiger.
((("dog" "is" "green" "+") ("dog" "chases" "cow" "~")) -> ("cow" "visits" "tiger" "+"))
The tiger visits the cow.
True
1
proof
[(triple15)]
("tiger" "visits" "cow" "+")
triple15
The cat does not visit the dog.
False
1
inv-proof
[(triple3)]
("cat" "visits" "dog" "-")
triple3
The cow chases the dog.
True
2
proof
[(((triple1) -> rule1))]
("cow" "chases" "dog" "+")
((triple1) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "chases" "dog" "-")
((triple1) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog needs the tiger.
True
3
proof
[(((((triple1) -> rule1)) -> rule5))]
("dog" "needs" "tiger" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The dog does not need the tiger.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule5))]
("dog" "needs" "tiger" "-")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The dog does not visit the tiger.
True
4
proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]
("dog" "visits" "tiger" "-")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog visits the tiger.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]
("dog" "visits" "tiger" "+")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
The tiger does not need the cat.
Unknown
inv-random
[@0: The tiger needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "cat" "-")
The cow needs the tiger.
Unknown
random
[@0: The cow needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "tiger" "+")
The dog does not chase the cat.
Unknown
inv-random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "-")
The cat visits the cow.
Unknown
random
[@0: The cat visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cow" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cat visits the tiger.
Unknown
random
[@0: The cat visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "tiger" "+")
@0: The cat chases the cow.[(triple1)] The cat does not need the tiger.[(triple2)] The cat visits the dog.[(triple3)] The cow chases the tiger.[(triple4)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow visits the tiger.[(triple7)] The dog is rough.[(triple8)] The dog needs the cat.[(triple9)] The dog needs the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is round.[(triple12)] The tiger needs the cow.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the dog.[(triple16)] @1: The cow chases the dog.[(((triple1) -> rule1))] @2: The dog needs the tiger.[(((((triple1) -> rule1)) -> rule5))] @3: The dog does not visit the tiger.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not need the tiger.
("cat" "needs" "tiger" "-")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog needs the cat.
("dog" "needs" "cat" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple13
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple1) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3