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