The cow chases the dog. The cow is big. The cow is round. The cow needs the dog. The cow needs the squirrel. The dog chases the cow. The dog does not chase the squirrel. The dog is big. The dog is nice. The dog is round. The dog needs the squirrel. The squirrel is big. The squirrel is blue. The squirrel does not like the cow. The squirrel needs the dog. If something is young then it does not like the squirrel. If something chases the dog then it likes the squirrel. If something needs the cow then it chases the dog. If something needs the squirrel and it likes the dog then it chases the cow. If something likes the dog then it does not need the dog. If the cow is young then the cow likes the squirrel. If the squirrel is big then the squirrel needs the cow. If the cow chases the dog and the dog is big then the dog needs the cow.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something is young then it does not like the squirrel.
((("something" "is" "young" "+")) -> ("something" "likes" "squirrel" "-"))
If something chases the dog then it likes the squirrel.
((("something" "chases" "dog" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the cow then it chases the dog.
((("something" "needs" "cow" "+")) -> ("something" "chases" "dog" "+"))
If something needs the squirrel and it likes the dog then it chases the cow.
((("something" "needs" "squirrel" "+") ("something" "likes" "dog" "+")) -> ("something" "chases" "cow" "+"))
If something likes the dog then it does not need the dog.
((("something" "likes" "dog" "+")) -> ("something" "needs" "dog" "-"))
If the cow is young then the cow likes the squirrel.
((("cow" "is" "young" "+")) -> ("cow" "likes" "squirrel" "+"))
If the squirrel is big then the squirrel needs the cow.
((("squirrel" "is" "big" "+")) -> ("squirrel" "needs" "cow" "+"))
If the cow chases the dog and the dog is big then the dog needs the cow.
((("cow" "chases" "dog" "+") ("dog" "is" "big" "+")) -> ("dog" "needs" "cow" "+"))
The cow is big.
True
1
proof
[(triple2)]
("cow" "is" "big" "+")
triple2
The dog chases the squirrel.
False
1
inv-proof
[(triple7)]
("dog" "chases" "squirrel" "+")
triple7
The cow likes the squirrel.
True
2
proof
[(((triple1) -> rule2))]
("cow" "likes" "squirrel" "+")
((triple1) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The squirrel does not need the cow.
False
2
inv-proof
[(((triple12) -> rule7))]
("squirrel" "needs" "cow" "-")
((triple12) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel chases the dog.
True
3
proof
[(((((triple12) -> rule7)) -> rule3))]
("squirrel" "chases" "dog" "+")
((((triple12) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog does not chase the dog.
False
4
inv-proof
[(((((triple1 triple8) -> rule8)) -> rule3))]
("dog" "chases" "dog" "-")
((((triple1 triple8) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The squirrel likes the squirrel.
True
4
proof
[(((((((triple12) -> rule7)) -> rule3)) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((((((triple12) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3
The dog does not like the squirrel.
False
5
inv-proof
[(((((((triple1 triple8) -> rule8)) -> rule3)) -> rule2))]
("dog" "likes" "squirrel" "-")
((((((triple1 triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "cow" "-")
The squirrel chases the cow.
Unknown
rconc
[@1: The squirrel chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "cow" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
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 cow likes the dog.
Unknown
random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is round.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the squirrel.[(triple5)] The dog chases the cow.[(triple6)] The dog does not chase the squirrel.[(triple7)] The dog is big.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The dog needs the squirrel.[(triple11)] The squirrel does not like the cow.[(triple14)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the dog.[(triple15)] @1: The cow likes the squirrel.[(((triple1) -> rule2))] The dog needs the cow.[(((triple1 triple8) -> rule8))] The squirrel needs the cow.[(((triple12) -> rule7))] @2: The dog chases the dog.[(((((triple1 triple8) -> rule8)) -> rule3))] The squirrel chases the dog.[(((((triple12) -> rule7)) -> rule3))] @3: The dog likes the squirrel.[(((((((triple1 triple8) -> rule8)) -> rule3)) -> rule2))] The squirrel likes the squirrel.[(((((((triple12) -> rule7)) -> rule3)) -> rule2))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple11
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
triple14
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
((triple1) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
((triple1 triple8) -> (rule8 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple12) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple1 triple8) -> (rule8 % int2))) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((triple12) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((((((triple1 triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((((triple12) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int3