The dog eats the rabbit. The dog is not red. The dog is not young. The dog likes the rabbit. The dog needs the rabbit. The rabbit is young. The rabbit likes the dog. If someone needs the dog and they do not like the rabbit then they eat the dog. If someone likes the dog and the dog likes the rabbit then they need the dog. If someone likes the dog and the dog does not like the rabbit then the dog is not big. If someone needs the dog then they are red. If the dog is green and the dog is rough then the dog needs the rabbit. If the rabbit likes the dog then the dog is rough. If the dog is rough and the dog likes the rabbit then the rabbit eats the dog. If someone eats the dog and they are red then they are big.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is not young.
("dog" "is" "young" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If someone needs the dog and they do not like the rabbit then they eat the dog.
((("someone" "needs" "dog" "+") ("someone" "likes" "rabbit" "~")) -> ("someone" "eats" "dog" "+"))
If someone likes the dog and the dog likes the rabbit then they need the dog.
((("someone" "likes" "dog" "+") ("dog" "likes" "rabbit" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the dog and the dog does not like the rabbit then the dog is not big.
((("someone" "likes" "dog" "+") ("dog" "likes" "rabbit" "~")) -> ("dog" "is" "big" "-"))
If someone needs the dog then they are red.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "red" "+"))
If the dog is green and the dog is rough then the dog needs the rabbit.
((("dog" "is" "green" "+") ("dog" "is" "rough" "+")) -> ("dog" "needs" "rabbit" "+"))
If the rabbit likes the dog then the dog is rough.
((("rabbit" "likes" "dog" "+")) -> ("dog" "is" "rough" "+"))
If the dog is rough and the dog likes the rabbit then the rabbit eats the dog.
((("dog" "is" "rough" "+") ("dog" "likes" "rabbit" "+")) -> ("rabbit" "eats" "dog" "+"))
If someone eats the dog and they are red then they are big.
((("someone" "eats" "dog" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The dog is not young.
True
1
proof
[(triple3)]
("dog" "is" "young" "-")
triple3
The dog does not need the rabbit.
False
1
inv-proof
[(triple5)]
("dog" "needs" "rabbit" "-")
triple5
The dog is rough.
True
2
proof
[(((triple7) -> rule6))]
("dog" "is" "rough" "+")
((triple7) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The rabbit does not need the dog.
False
3
inv-proof
[(((triple7 triple4) -> rule2))]
("rabbit" "needs" "dog" "-")
((triple7 triple4) -> (rule2 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
The rabbit eats the dog.
True
4
proof
[(((((triple7) -> rule6) triple4) -> rule7))]
("rabbit" "eats" "dog" "+")
((((triple7) -> (rule6 % int2)) triple4) -> (rule7 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The rabbit does not eat the dog.
False
4
inv-proof
[(((((triple7) -> rule6) triple4) -> rule7))]
("rabbit" "eats" "dog" "-")
((((triple7) -> (rule6 % int2)) triple4) -> (rule7 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The rabbit is big.
True
9
proof
[(((((((triple7) -> rule6) triple4) -> rule7) ((((triple7 triple4) -> rule2)) -> rule4)) -> rule8))]
("rabbit" "is" "big" "+")
((((((triple7) -> (rule6 % int5)) triple4) -> (rule7 % int4)) ((((triple7 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The rabbit is not big.
False
9
inv-proof
[(((((((triple7) -> rule6) triple4) -> rule7) ((((triple7 triple4) -> rule2)) -> rule4)) -> rule8))]
("rabbit" "is" "big" "-")
((((((triple7) -> (rule6 % int5)) triple4) -> (rule7 % int4)) ((((triple7 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "big" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The dog eats the rabbit.[(triple1)] The dog is not red.[(triple2)] The dog is not young.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The dog is rough.[(((triple7) -> rule6))] The rabbit needs the dog.[(((triple7 triple4) -> rule2))] @2: The rabbit eats the dog.[(((((triple7) -> rule6) triple4) -> rule7))] The rabbit is red.[(((((triple7 triple4) -> rule2)) -> rule4))] @3: The rabbit is big.[(((((((triple7) -> rule6) triple4) -> rule7) ((((triple7 triple4) -> rule2)) -> rule4)) -> rule8))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog is not red.
("dog" "is" "red" "-")
triple2
The dog is not young.
("dog" "is" "young" "-")
triple3
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
((triple7) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
((triple7 triple4) -> (rule2 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((((triple7) -> (rule6 % int2)) triple4) -> (rule7 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((((triple7 triple4) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((((triple7) -> (rule6 % int5)) triple4) -> (rule7 % int4)) ((((triple7 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5