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