The dog eats the squirrel. The dog is big. The dog is not blue. The dog is green. The dog is red. The dog does not like the squirrel. The squirrel likes the dog. If someone likes the dog and they eat the dog then the dog is big. If someone chases the squirrel and they eat the squirrel then the squirrel is not big. If someone is green then they do not chase the dog. If someone likes the dog and the dog chases the squirrel then the squirrel chases the dog. If the squirrel does not like the dog then the dog does not chase the squirrel. If someone eats the dog and they do not like the squirrel then they are red.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone likes the dog and they eat the dog then the dog is big.
((("someone" "likes" "dog" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "big" "+"))
If someone chases the squirrel and they eat the squirrel then the squirrel is not big.
((("someone" "chases" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "big" "-"))
If someone is green then they do not chase the dog.
((("someone" "is" "green" "+")) -> ("someone" "chases" "dog" "-"))
If someone likes the dog and the dog chases the squirrel then the squirrel chases the dog.
((("someone" "likes" "dog" "+") ("dog" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
If the squirrel does not like the dog then the dog does not chase the squirrel.
((("squirrel" "likes" "dog" "~")) -> ("dog" "chases" "squirrel" "-"))
If someone eats the dog and they do not like the squirrel then they are red.
((("someone" "eats" "dog" "+") ("someone" "likes" "squirrel" "~")) -> ("someone" "is" "red" "+"))
The dog is not blue.
True
1
proof
[(triple3)]
("dog" "is" "blue" "-")
triple3
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The dog does not chase the dog.
True
2
proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "-")
((triple4) -> (rule3 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1
The dog chases the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("dog" "chases" "dog" "+")
((triple4) -> (rule3 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "red" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The dog chases the squirrel.
Unknown
random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "+")
@0: The dog does not like the squirrel.[(triple6)] The dog eats the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is green.[(triple4)] The dog is not blue.[(triple3)] The dog is red.[(triple5)] The squirrel likes the dog.[(triple7)] @1: The dog does not chase the dog.[(((triple4) -> rule3))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is not blue.
("dog" "is" "blue" "-")
triple3
The dog is red.
("dog" "is" "red" "+")
triple5
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The dog does not chase the dog.
("dog" "chases" "dog" "-")
((triple4) -> (rule3 % int1))
The dog does not chase the dog.
("dog" "chases" "dog" "-")
int1