The bear is young. The dog chases the rabbit. The dog is young. The rabbit chases the bear. The squirrel is rough. The squirrel likes the bear. The squirrel likes the rabbit. If something needs the bear and it needs the rabbit then the rabbit chases the bear. If something chases the rabbit then the rabbit is rough. If the rabbit likes the bear then the rabbit chases the bear. If something needs the dog then the dog likes the bear. If something needs the dog then the dog needs the rabbit. If something needs the bear and it likes the squirrel then the squirrel needs the bear.
The bear is young.
("bear" "is" "young" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something needs the bear and it needs the rabbit then the rabbit chases the bear.
((("something" "needs" "bear" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If something chases the rabbit then the rabbit is rough.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If the rabbit likes the bear then the rabbit chases the bear.
((("rabbit" "likes" "bear" "+")) -> ("rabbit" "chases" "bear" "+"))
If something needs the dog then the dog likes the bear.
((("something" "needs" "dog" "+")) -> ("dog" "likes" "bear" "+"))
If something needs the dog then the dog needs the rabbit.
((("something" "needs" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If something needs the bear and it likes the squirrel then the squirrel needs the bear.
((("something" "needs" "bear" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple7)]
("squirrel" "likes" "rabbit" "+")
triple7
The squirrel does not like the bear.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "bear" "-")
triple6
The rabbit is rough.
True
2
proof
[(((triple2) -> rule2))]
("rabbit" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("rabbit" "is" "rough" "-")
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The dog does not need the rabbit.
Unknown
inv-rconc
[@1: The dog needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "rabbit" "-")
The squirrel needs the bear.
Unknown
rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "bear" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear is young.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is young.[(triple3)] The rabbit chases the bear.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The rabbit is rough.[(((triple2) -> rule2))]
The bear is young.
("bear" "is" "young" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1