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