The bear eats the rabbit. The bear is young. The bear sees the dog. The dog eats the rabbit. The dog is green. The dog sees the bear. The dog visits the bear. The lion eats the rabbit. The lion is rough. The lion sees the bear. The lion sees the rabbit. The lion visits the rabbit. The rabbit eats the dog. The rabbit is young. The rabbit sees the lion. The rabbit visits the lion. If something is young and rough then it eats the bear. If something is rough and it visits the lion then the lion visits the dog. If the rabbit eats the bear and the rabbit is green then the rabbit sees the bear. If something eats the dog then it is rough. If something eats the dog and it is round then the dog visits the rabbit. If the dog visits the bear and the bear is young then the bear sees the dog.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something is young and rough then it eats the bear.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "bear" "+"))
If something is rough and it visits the lion then the lion visits the dog.
((("something" "is" "rough" "+") ("something" "visits" "lion" "+")) -> ("lion" "visits" "dog" "+"))
If the rabbit eats the bear and the rabbit is green then the rabbit sees the bear.
((("rabbit" "eats" "bear" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "sees" "bear" "+"))
If something eats the dog then it is rough.
((("something" "eats" "dog" "+")) -> ("something" "is" "rough" "+"))
If something eats the dog and it is round then the dog visits the rabbit.
((("something" "eats" "dog" "+") ("something" "is" "round" "+")) -> ("dog" "visits" "rabbit" "+"))
If the dog visits the bear and the bear is young then the bear sees the dog.
((("dog" "visits" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "sees" "dog" "+"))
The dog is green.
True
1
proof
[(triple5)]
("dog" "is" "green" "+")
triple5
The dog does not see the bear.
False
1
inv-proof
[(triple6)]
("dog" "sees" "bear" "-")
triple6
The rabbit is rough.
True
2
proof
[(((triple13) -> rule4))]
("rabbit" "is" "rough" "+")
((triple13) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple13) -> rule4))]
("rabbit" "is" "rough" "-")
((triple13) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The lion visits the dog.
True
4
proof
[(((((triple13) -> rule4) triple16) -> rule2))]
("lion" "visits" "dog" "+")
((((triple13) -> (rule4 % int2)) triple16) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The lion does not visit the dog.
False
4
inv-proof
[(((((triple13) -> rule4) triple16) -> rule2))]
("lion" "visits" "dog" "-")
((((triple13) -> (rule4 % int2)) triple16) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
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 dog visits the rabbit.
Unknown
rconc
[@1: The dog visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "visits" "rabbit" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "rough" "-")
The bear sees the rabbit.
Unknown
random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is young.[(triple2)] The bear sees the dog.[(triple3 OR ((triple7 triple2) -> rule6))] The dog eats the rabbit.[(triple4)] The dog is green.[(triple5)] The dog sees the bear.[(triple6)] The dog visits the bear.[(triple7)] The lion eats the rabbit.[(triple8)] The lion is rough.[(triple9)] The lion sees the bear.[(triple10)] The lion sees the rabbit.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit eats the dog.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The rabbit is rough.[(((triple13) -> rule4))] @2: The lion visits the dog.[(((((triple13) -> rule4) triple16) -> rule2))] The rabbit eats the bear.[(((triple14 ((triple13) -> rule4)) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
((triple7 triple2) -> (rule6 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog sees the bear.
("dog" "sees" "bear" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple11
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple12
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple15
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple16
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple13) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
((((triple13) -> (rule4 % int2)) triple16) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((triple14 ((triple13) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2