The cow chases the squirrel. The cow needs the squirrel. The dog is blue. The dog is green. The dog likes the cow. The dog needs the cow. The dog needs the squirrel. The squirrel chases the dog. The squirrel is rough. The squirrel does not like the cow. If the dog needs the squirrel then the squirrel is round. If someone is round then they need the cow. If someone needs the dog then the dog is nice. If someone needs the cow and the cow chases the squirrel then they are blue. If someone is round then they like the dog. If someone chases the cow and the cow does not need the squirrel then the cow likes the dog.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
If the dog needs the squirrel then the squirrel is round.
((("dog" "needs" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone is round then they need the cow.
((("someone" "is" "round" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the dog then the dog is nice.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the cow and the cow chases the squirrel then they are blue.
((("someone" "needs" "cow" "+") ("cow" "chases" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they like the dog.
((("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the cow and the cow does not need the squirrel then the cow likes the dog.
((("someone" "chases" "cow" "+") ("cow" "needs" "squirrel" "~")) -> ("cow" "likes" "dog" "+"))
The squirrel does not like the cow.
True
1
proof
[(triple10)]
("squirrel" "likes" "cow" "-")
triple10
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The squirrel is round.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "is" "round" "+")
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "is" "round" "-")
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel needs the cow.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("squirrel" "needs" "cow" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not like the dog.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule5))]
("squirrel" "likes" "dog" "-")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
True
5
proof
[(((((((triple7) -> rule1)) -> rule2) triple1) -> rule4))]
("squirrel" "is" "blue" "+")
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is not blue.
False
5
inv-proof
[(((((((triple7) -> rule1)) -> rule2) triple1) -> rule4))]
("squirrel" "is" "blue" "-")
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "dog" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "dog" "+")
The cow does not need the cow.
Unknown
inv-rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cow" "-")
The dog is nice.
Unknown
rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "nice" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
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 cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The cow chases the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The dog is blue.[(triple3 OR ((triple6 triple1) -> rule4))] The dog is green.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog needs the squirrel.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel does not like the cow.[(triple10)] The squirrel is rough.[(triple9)] @1: The squirrel is round.[(((triple7) -> rule1))] @2: The squirrel likes the dog.[(((((triple7) -> rule1)) -> rule5))] The squirrel needs the cow.[(((((triple7) -> rule1)) -> rule2))] @3: The squirrel is blue.[(((((((triple7) -> rule1)) -> rule2) triple1) -> rule4))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
((triple6 triple1) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple4
The dog likes the cow.
("dog" "likes" "cow" "+")
triple5
The dog needs the cow.
("dog" "needs" "cow" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple8
The squirrel does not like the cow.
("squirrel" "likes" "cow" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
((triple7) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((((triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3