The bear needs the dog. The bear needs the rabbit. The dog is green. The dog is red. The dog does not like the bear. The dog likes the lion. The dog needs the bear. The dog needs the lion. The lion is big. The rabbit is not rough. The rabbit likes the dog. The rabbit needs the lion. If something needs the rabbit and the rabbit is rough then it is not big. If the lion likes the bear then the bear needs the rabbit. If something chases the bear then the bear needs the rabbit. If something is round then it likes the dog. If the lion is big and the lion likes the dog then the dog chases the rabbit. If something is big and it needs the lion then the lion likes the bear. If something is red and it does not like the bear then the bear is rough. Rough things are red.
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the bear.
("dog" "likes" "bear" "-")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If something needs the rabbit and the rabbit is rough then it is not big.
((("something" "needs" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("something" "is" "big" "-"))
If the lion likes the bear then the bear needs the rabbit.
((("lion" "likes" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something chases the bear then the bear needs the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something is round then it likes the dog.
((("something" "is" "round" "+")) -> ("something" "likes" "dog" "+"))
If the lion is big and the lion likes the dog then the dog chases the rabbit.
((("lion" "is" "big" "+") ("lion" "likes" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If something is big and it needs the lion then the lion likes the bear.
((("something" "is" "big" "+") ("something" "needs" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If something is red and it does not like the bear then the bear is rough.
((("something" "is" "red" "+") ("something" "likes" "bear" "~")) -> ("bear" "is" "rough" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
The dog needs the bear.
True
1
proof
[(triple7)]
("dog" "needs" "bear" "+")
triple7
The rabbit does not like the dog.
False
1
inv-proof
[(triple11)]
("rabbit" "likes" "dog" "-")
triple11
The bear is rough.
True
3
proof
[(((triple4 triple5) -> rule7))]
("bear" "is" "rough" "+")
((triple4 triple5) -> (rule7 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
3
inv-proof
[(((triple4 triple5) -> rule7))]
("bear" "is" "rough" "-")
((triple4 triple5) -> (rule7 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is red.
True
4
proof
[(((((triple4 triple5) -> rule7)) -> rule8))]
("bear" "is" "red" "+")
((((triple4 triple5) -> (rule7 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not red.
False
4
inv-proof
[(((((triple4 triple5) -> rule7)) -> rule8))]
("bear" "is" "red" "-")
((((triple4 triple5) -> (rule7 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "dog" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "+")
The lion does not like the bear.
Unknown
inv-rconc
[@1: The lion likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "bear" "-")
The rabbit chases the lion.
Unknown
random
[@0: The rabbit chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "lion" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear needs the dog.[(triple1)] The bear needs the rabbit.[(triple2)] The dog does not like the bear.[(triple5)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog likes the lion.[(triple6)] The dog needs the bear.[(triple7)] The dog needs the lion.[(triple8)] The lion is big.[(triple9)] The rabbit is not rough.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the lion.[(triple12)] @1: The bear is rough.[(((triple4 triple5) -> rule7))] @2: The bear is red.[(((((triple4 triple5) -> rule7)) -> rule8))]
The bear needs the dog.
("bear" "needs" "dog" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple5
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
The dog needs the lion.
("dog" "needs" "lion" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple12
The bear is rough.
("bear" "is" "rough" "+")
((triple4 triple5) -> (rule7 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple4 triple5) -> (rule7 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2