The bear eats the rabbit. The dog is rough. The rabbit needs the dog. If something eats the rabbit then it eats the bear. If something needs the rabbit then the rabbit needs the bear. If something needs the dog then it likes the rabbit. If something eats the rabbit and the rabbit needs the bear then it is nice. If something is rough then it needs the rabbit. If something is nice and it needs the rabbit then it is kind. If something needs the dog then the dog is green. If something is green then it likes the rabbit.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something eats the rabbit then it eats the bear.
((("something" "eats" "rabbit" "+")) -> ("something" "eats" "bear" "+"))
If something needs the rabbit then the rabbit needs the bear.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
If something needs the dog then it likes the rabbit.
((("something" "needs" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the rabbit and the rabbit needs the bear then it is nice.
((("something" "eats" "rabbit" "+") ("rabbit" "needs" "bear" "+")) -> ("something" "is" "nice" "+"))
If something is rough then it needs the rabbit.
((("something" "is" "rough" "+")) -> ("something" "needs" "rabbit" "+"))
If something is nice and it needs the rabbit then it is kind.
((("something" "is" "nice" "+") ("something" "needs" "rabbit" "+")) -> ("something" "is" "kind" "+"))
If something needs the dog then the dog is green.
((("something" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
If something is green then it likes the rabbit.
((("something" "is" "green" "+")) -> ("something" "likes" "rabbit" "+"))
The dog is rough.
True
1
proof
[(triple2)]
("dog" "is" "rough" "+")
triple2
The dog is not rough.
False
1
inv-proof
[(triple2)]
("dog" "is" "rough" "-")
triple2
The bear eats the bear.
True
2
proof
[(((triple1) -> rule1))]
("bear" "eats" "bear" "+")
((triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple3) -> rule3))]
("rabbit" "likes" "rabbit" "-")
((triple3) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog likes the rabbit.
True
3
proof
[(((((triple3) -> rule7)) -> rule8))]
("dog" "likes" "rabbit" "+")
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit does not need the bear.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule2))]
("rabbit" "needs" "bear" "-")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The dog does not eat the bear.
Unknown
inv-rconc
[@1: The dog eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "bear" "-")
The rabbit likes the dog.
Unknown
random
[@0: The rabbit likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "dog" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the rabbit.[(triple1)] The dog is rough.[(triple2)] The rabbit needs the dog.[(triple3)] @1: The bear eats the bear.[(((triple1) -> rule1))] The dog is green.[(((triple3) -> rule7))] The dog needs the rabbit.[(((triple2) -> rule5))] The rabbit likes the rabbit.[(((triple3) -> rule3))] @2: The dog likes the rabbit.[(((((triple3) -> rule7)) -> rule8))] The rabbit needs the bear.[(((((triple2) -> rule5)) -> rule2))] @3: The bear is nice.[(((triple1 ((((triple2) -> rule5)) -> rule2)) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple3
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple1) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple3) -> (rule7 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple2) -> (rule5 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple3) -> (rule3 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((triple1 ((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int3