The cow chases the dog. The cow chases the squirrel. The cow needs the squirrel. The cow visits the tiger. The dog is not blue. The dog is rough. The dog does not need the cow. The dog needs the tiger. The squirrel needs the dog. The squirrel visits the cow. The tiger does not chase the dog. The tiger is blue. The tiger is not kind. The tiger is rough. The tiger visits the dog. If someone chases the tiger then they are not rough. If the squirrel chases the cow then the cow needs the dog. If someone visits the squirrel and they are rough then they are green. If someone is blue and cold then they do not chase the squirrel. If someone chases the cow and the cow is kind then they do not need the squirrel. If someone needs the cow then they are cold. If someone needs the tiger and the tiger is rough then they are kind. If someone needs the dog then they chase the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone chases the tiger then they are not rough.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "rough" "-"))
If the squirrel chases the cow then the cow needs the dog.
((("squirrel" "chases" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If someone visits the squirrel and they are rough then they are green.
((("someone" "visits" "squirrel" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they do not chase the squirrel.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone chases the cow and the cow is kind then they do not need the squirrel.
((("someone" "chases" "cow" "+") ("cow" "is" "kind" "+")) -> ("someone" "needs" "squirrel" "-"))
If someone needs the cow then they are cold.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the tiger and the tiger is rough then they are kind.
((("someone" "needs" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the dog then they chase the cow.
((("someone" "needs" "dog" "+")) -> ("someone" "chases" "cow" "+"))
The dog is not blue.
True
1
proof
[(triple5)]
("dog" "is" "blue" "-")
triple5
The dog does not need the tiger.
False
1
inv-proof
[(triple8)]
("dog" "needs" "tiger" "-")
triple8
The dog is kind.
True
3
proof
[(((triple8 triple14) -> rule7))]
("dog" "is" "kind" "+")
((triple8 triple14) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The squirrel does not chase the cow.
False
2
inv-proof
[(((triple9) -> rule8))]
("squirrel" "chases" "cow" "-")
((triple9) -> (rule8 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow needs the dog.
True
3
proof
[(((((triple9) -> rule8)) -> rule2))]
("cow" "needs" "dog" "+")
((((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow does not need the dog.
False
3
inv-proof
[(((((triple9) -> rule8)) -> rule2))]
("cow" "needs" "dog" "-")
((((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow chases the cow.
True
4
proof
[(((((((triple9) -> rule8)) -> rule2)) -> rule8))]
("cow" "chases" "cow" "+")
((((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow does not chase the cow.
False
4
inv-proof
[(((((((triple9) -> rule8)) -> rule2)) -> rule8))]
("cow" "chases" "cow" "-")
((((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "cold" "-")
The dog chases the cow.
Unknown
rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "cow" "+")
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "green" "-")
The cow is green.
Unknown
rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "green" "+")
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 cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the squirrel.[(triple2)] The cow needs the squirrel.[(triple3)] The cow visits the tiger.[(triple4)] The dog does not need the cow.[(triple7)] The dog is not blue.[(triple5)] The dog is rough.[(triple6)] The dog needs the tiger.[(triple8)] The squirrel needs the dog.[(triple9)] The squirrel visits the cow.[(triple10)] The tiger does not chase the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is not kind.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog is kind.[(((triple8 triple14) -> rule7))] The squirrel chases the cow.[(((triple9) -> rule8))] @2: The cow needs the dog.[(((((triple9) -> rule8)) -> rule2))] @3: The cow chases the cow.[(((((((triple9) -> rule8)) -> rule2)) -> rule8))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple3
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple4
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple7
The dog is not blue.
("dog" "is" "blue" "-")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple8
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is not kind.
("tiger" "is" "kind" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
The dog is kind.
("dog" "is" "kind" "+")
((triple8 triple14) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple9) -> (rule8 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
((((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
((((((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3