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