The bear is not green. The bear sees the rabbit. The dog chases the bear. The dog chases the rabbit. The dog is green. The dog needs the bear. The dog needs the rabbit. The rabbit chases the dog. The rabbit is not young. The rabbit needs the dog. If someone is young then they see the rabbit. If someone needs the rabbit then the rabbit does not see the bear. If someone chases the dog and the dog is green then the dog sees the bear. If someone sees the rabbit and they are not green then they need the dog. If someone needs the bear and they are not cold then the bear needs the dog. If someone is green then they chase the dog.
The bear is not green.
("bear" "is" "green" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone is young then they see the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone needs the rabbit then the rabbit does not see the bear.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "sees" "bear" "-"))
If someone chases the dog and the dog is green then the dog sees the bear.
((("someone" "chases" "dog" "+") ("dog" "is" "green" "+")) -> ("dog" "sees" "bear" "+"))
If someone sees the rabbit and they are not green then they need the dog.
((("someone" "sees" "rabbit" "+") ("someone" "is" "green" "~")) -> ("someone" "needs" "dog" "+"))
If someone needs the bear and they are not cold then the bear needs the dog.
((("someone" "needs" "bear" "+") ("someone" "is" "cold" "~")) -> ("bear" "needs" "dog" "+"))
If someone is green then they chase the dog.
((("someone" "is" "green" "+")) -> ("someone" "chases" "dog" "+"))
The rabbit needs the dog.
True
1
proof
[(triple10)]
("rabbit" "needs" "dog" "+")
triple10
The dog is not green.
False
1
inv-proof
[(triple5)]
("dog" "is" "green" "-")
triple5
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "dog" "-")
The bear sees the dog.
Unknown
random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "+")
@0: The bear is not green.[(triple1)] The bear sees the rabbit.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the rabbit.[(triple4)] The dog is green.[(triple5)] The dog needs the bear.[(triple6)] The dog needs the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is not young.[(triple9)] The rabbit needs the dog.[(triple10)] @1: The bear needs the dog.[(((triple2 triple1) -> rule4))] The dog chases the dog.[(((triple5) -> rule6))] The dog sees the bear.[(((triple8 triple5) -> rule3) OR ((((triple5) -> rule6) triple5) -> rule3))] The rabbit does not see the bear.[(((triple7) -> rule2))]
The bear is not green.
("bear" "is" "green" "-")
triple1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog needs the bear.
("dog" "needs" "bear" "+")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit is not young.
("rabbit" "is" "young" "-")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple2 triple1) -> (rule4 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple5) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple8 triple5) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((((triple5) -> (rule6 % int2)) triple5) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
((triple7) -> (rule2 % int1))
The rabbit does not see the bear.
("rabbit" "sees" "bear" "-")
int1