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