The bear chases the dog. The bear needs the rabbit. The cat needs the rabbit. The dog is big. The dog is blue. The dog is round. The rabbit needs the bear. If something likes the bear then the bear chases the rabbit. If the cat is green and the cat is big then the cat needs the bear. If something needs the bear then it does not like the cat. If something chases the dog then it does not chase the cat. If something is rough then it does not like the rabbit. If something is green then it does not like the rabbit. If the dog is not big then the dog is green. If something is green and it does not chase the rabbit then it does not need the cat.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something likes the bear then the bear chases the rabbit.
((("something" "likes" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If the cat is green and the cat is big then the cat needs the bear.
((("cat" "is" "green" "+") ("cat" "is" "big" "+")) -> ("cat" "needs" "bear" "+"))
If something needs the bear then it does not like the cat.
((("something" "needs" "bear" "+")) -> ("something" "likes" "cat" "-"))
If something chases the dog then it does not chase the cat.
((("something" "chases" "dog" "+")) -> ("something" "chases" "cat" "-"))
If something is rough then it does not like the rabbit.
((("something" "is" "rough" "+")) -> ("something" "likes" "rabbit" "-"))
If something is green then it does not like the rabbit.
((("something" "is" "green" "+")) -> ("something" "likes" "rabbit" "-"))
If the dog is not big then the dog is green.
((("dog" "is" "big" "~")) -> ("dog" "is" "green" "+"))
If something is green and it does not chase the rabbit then it does not need the cat.
((("something" "is" "green" "+") ("something" "chases" "rabbit" "~")) -> ("something" "needs" "cat" "-"))
The cat needs the rabbit.
True
1
proof
[(triple3)]
("cat" "needs" "rabbit" "+")
triple3
The cat does not need the rabbit.
False
1
inv-proof
[(triple3)]
("cat" "needs" "rabbit" "-")
triple3
The rabbit does not like the cat.
True
2
proof
[(((triple7) -> rule3))]
("rabbit" "likes" "cat" "-")
((triple7) -> (rule3 % int1))
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
int1
The rabbit likes the cat.
False
2
inv-proof
[(((triple7) -> rule3))]
("rabbit" "likes" "cat" "+")
((triple7) -> (rule3 % int1))
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
int1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "green" "-")
The bear chases the rabbit.
Unknown
rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "rabbit" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bear chases the dog.[(triple1)] The bear needs the rabbit.[(triple2)] The cat needs the rabbit.[(triple3)] The dog is big.[(triple4)] The dog is blue.[(triple5)] The dog is round.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The bear does not chase the cat.[(((triple1) -> rule4))] The rabbit does not like the cat.[(((triple7) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple7
The bear does not chase the cat.
("bear" "chases" "cat" "-")
((triple1) -> (rule4 % int1))
The bear does not chase the cat.
("bear" "chases" "cat" "-")
int1
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
((triple7) -> (rule3 % int1))
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
int1