The bear is cold. The bear is green. The bear likes the dog. The bear likes the rabbit. The cow is green. The cow is red. The cow needs the bear. The cow sees the rabbit. The dog likes the rabbit. The rabbit is cold. The rabbit is red. The rabbit likes the bear. The rabbit likes the cow. The rabbit likes the dog. The rabbit sees the bear. The rabbit does not see the cow. If something needs the dog and it does not need the cow then the dog sees the rabbit. If something sees the dog and the dog likes the bear then it does not see the rabbit. If something sees the rabbit then the rabbit needs the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
If something needs the dog and it does not need the cow then the dog sees the rabbit.
((("something" "needs" "dog" "+") ("something" "needs" "cow" "~")) -> ("dog" "sees" "rabbit" "+"))
If something sees the dog and the dog likes the bear then it does not see the rabbit.
((("something" "sees" "dog" "+") ("dog" "likes" "bear" "+")) -> ("something" "sees" "rabbit" "-"))
If something sees the rabbit then the rabbit needs the bear.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
The rabbit likes the bear.
True
1
proof
[(triple12)]
("rabbit" "likes" "bear" "+")
triple12
The bear does not like the dog.
False
1
inv-proof
[(triple3)]
("bear" "likes" "dog" "-")
triple3
The rabbit needs the bear.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "needs" "bear" "+")
((triple8) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit does not need the bear.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "needs" "bear" "-")
((triple8) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The dog does not see the rabbit.
Unknown
inv-rconc
[@1: The dog sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "rabbit" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the rabbit.[(triple4)] The cow is green.[(triple5)] The cow is red.[(triple6)] The cow needs the bear.[(triple7)] The cow sees the rabbit.[(triple8)] The dog likes the rabbit.[(triple9)] The rabbit does not see the cow.[(triple16)] The rabbit is cold.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The rabbit needs the bear.[(((triple8) -> rule3))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple8
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple9
The rabbit does not see the cow.
("rabbit" "sees" "cow" "-")
triple16
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple12
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple13
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple8) -> (rule3 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1