The dog needs the squirrel. The rabbit does not need the squirrel. The squirrel chases the dog. If someone chases the rabbit and they chase the dog then they need the dog. If the rabbit chases the squirrel and the rabbit needs the squirrel then the rabbit chases the dog. If someone chases the rabbit then the rabbit chases the dog. If someone needs the dog then the dog does not need the squirrel. If someone needs the squirrel then they are nice. If someone needs the rabbit then the rabbit eats the dog.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If someone chases the rabbit and they chase the dog then they need the dog.
((("someone" "chases" "rabbit" "+") ("someone" "chases" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If the rabbit chases the squirrel and the rabbit needs the squirrel then the rabbit chases the dog.
((("rabbit" "chases" "squirrel" "+") ("rabbit" "needs" "squirrel" "+")) -> ("rabbit" "chases" "dog" "+"))
If someone chases the rabbit then the rabbit chases the dog.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If someone needs the dog then the dog does not need the squirrel.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "squirrel" "-"))
If someone needs the squirrel then they are nice.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the rabbit then the rabbit eats the dog.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "eats" "dog" "+"))
The dog needs the squirrel.
True
1
proof
[(triple1)]
("dog" "needs" "squirrel" "+")
triple1
The squirrel does not chase the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "dog" "-")
triple3
The dog is nice.
True
2
proof
[(((triple1) -> rule5))]
("dog" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "is" "nice" "-")
((triple1) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit does not need the dog.
Unknown
inv-rconc
[@1: The rabbit needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "dog" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The dog needs the squirrel.[(triple1)] The rabbit does not need the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The dog is nice.[(((triple1) -> rule5))]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The rabbit does not need the squirrel.
("rabbit" "needs" "squirrel" "-")
triple2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1