The dog eats the rabbit. The dog likes the rabbit. The rabbit eats the dog. The rabbit is green. The rabbit is round. The rabbit likes the dog. The rabbit needs the dog. If the dog needs the rabbit and the rabbit is red then the rabbit likes the dog. If something eats the dog and the dog is young then it likes the rabbit. If something eats the dog then the dog needs the rabbit. If the rabbit is kind and the rabbit needs the dog then the rabbit eats the dog. If something eats the rabbit and the rabbit eats the dog then the dog is young. If something eats the dog then it eats the rabbit. If something needs the dog and it likes the dog then it is red. If something needs the dog and the dog eats the rabbit then it likes the dog.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If the dog needs the rabbit and the rabbit is red then the rabbit likes the dog.
((("dog" "needs" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("rabbit" "likes" "dog" "+"))
If something eats the dog and the dog is young then it likes the rabbit.
((("something" "eats" "dog" "+") ("dog" "is" "young" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the dog then the dog needs the rabbit.
((("something" "eats" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If the rabbit is kind and the rabbit needs the dog then the rabbit eats the dog.
((("rabbit" "is" "kind" "+") ("rabbit" "needs" "dog" "+")) -> ("rabbit" "eats" "dog" "+"))
If something eats the rabbit and the rabbit eats the dog then the dog is young.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "dog" "+")) -> ("dog" "is" "young" "+"))
If something eats the dog then it eats the rabbit.
((("something" "eats" "dog" "+")) -> ("something" "eats" "rabbit" "+"))
If something needs the dog and it likes the dog then it is red.
((("something" "needs" "dog" "+") ("something" "likes" "dog" "+")) -> ("something" "is" "red" "+"))
If something needs the dog and the dog eats the rabbit then it likes the dog.
((("something" "needs" "dog" "+") ("dog" "eats" "rabbit" "+")) -> ("something" "likes" "dog" "+"))
The dog likes the rabbit.
True
1
proof
[(triple2)]
("dog" "likes" "rabbit" "+")
triple2
The rabbit does not need the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "needs" "dog" "-")
triple7
The rabbit eats the rabbit.
True
2
proof
[(((triple3) -> rule6))]
("rabbit" "eats" "rabbit" "+")
((triple3) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is not red.
False
3
inv-proof
[(((triple7 triple6) -> rule7) OR ((triple7 ((triple7 triple1) -> rule8)) -> rule7))]
("rabbit" "is" "red" "-")
((triple7 triple6) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
((triple7 ((triple7 triple1) -> (rule8 % int2))) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "red" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "likes" "dog" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog eats the rabbit.[(triple1)] The dog likes the rabbit.[(triple2)] The rabbit eats the dog.[(triple3)] The rabbit is green.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the dog.[(triple6 OR ((triple7 triple1) -> rule8))] The rabbit needs the dog.[(triple7)] @1: The dog is young.[(((triple1 triple3) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule5))] The dog needs the rabbit.[(((triple3) -> rule3))] The rabbit eats the rabbit.[(((triple3) -> rule6))] The rabbit is red.[(((triple7 triple6) -> rule7) OR ((triple7 ((triple7 triple1) -> rule8)) -> rule7))] @2: The rabbit likes the rabbit.[(((triple3 ((triple1 triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule6) triple3) -> rule5)) -> rule2))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple6
((triple7 triple1) -> (rule8 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
((triple1 triple3) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple3) -> (rule6 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple7 triple6) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
((triple7 ((triple7 triple1) -> (rule8 % int2))) -> (rule7 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple3 ((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((triple3 ((((triple3) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3