The bear chases the squirrel. The dog is green. The dog is kind. The rabbit does not see the bear. The rabbit visits the squirrel. The squirrel chases the bear. The squirrel chases the dog. If someone visits the squirrel then the squirrel is green. If someone visits the rabbit and they chase the bear then the rabbit sees the dog. If the dog chases the bear and the bear is red then the bear does not visit the rabbit. If someone is big then they do not chase the squirrel. If someone sees the dog and the dog does not visit the squirrel then the squirrel does not see the bear. If the squirrel visits the bear then the squirrel chases the rabbit. If someone chases the rabbit then they do not visit the bear. If someone visits the squirrel and they do not chase the rabbit then the rabbit sees the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If someone visits the squirrel then the squirrel is green.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If someone visits the rabbit and they chase the bear then the rabbit sees the dog.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "bear" "+")) -> ("rabbit" "sees" "dog" "+"))
If the dog chases the bear and the bear is red then the bear does not visit the rabbit.
((("dog" "chases" "bear" "+") ("bear" "is" "red" "+")) -> ("bear" "visits" "rabbit" "-"))
If someone is big then they do not chase the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone sees the dog and the dog does not visit the squirrel then the squirrel does not see the bear.
((("someone" "sees" "dog" "+") ("dog" "visits" "squirrel" "~")) -> ("squirrel" "sees" "bear" "-"))
If the squirrel visits the bear then the squirrel chases the rabbit.
((("squirrel" "visits" "bear" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If someone chases the rabbit then they do not visit the bear.
((("someone" "chases" "rabbit" "+")) -> ("someone" "visits" "bear" "-"))
If someone visits the squirrel and they do not chase the rabbit then the rabbit sees the bear.
((("someone" "visits" "squirrel" "+") ("someone" "chases" "rabbit" "~")) -> ("rabbit" "sees" "bear" "+"))
The dog is kind.
True
1
proof
[(triple3)]
("dog" "is" "kind" "+")
triple3
The bear does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "chases" "squirrel" "-")
triple1
The squirrel is green.
True
2
proof
[(((triple5) -> rule1))]
("squirrel" "is" "green" "+")
((triple5) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple5) -> rule1))]
("squirrel" "is" "green" "-")
((triple5) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel does not chase the rabbit.
Unknown
inv-rconc
[@1: The squirrel chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "rabbit" "-")
The rabbit sees the dog.
Unknown
rconc
[@1: The rabbit sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "dog" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bear chases the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The rabbit does not see the bear.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the dog.[(triple7)] @1: The squirrel is green.[(((triple5) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
triple4
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
((triple5) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1