The bear sees the dog. The cat chases the bear. The cat chases the lion. The cat needs the bear. The cat needs the dog. The cat sees the bear. The cat sees the lion. The dog is nice. The dog is rough. The dog needs the cat. The dog sees the lion. The lion chases the dog. The lion is red. The lion is rough. The lion sees the cat. If someone sees the bear then the bear is nice. If someone is red and they see the dog then they are nice. If someone is rough and they see the cat then the cat chases the lion.
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If someone sees the bear then the bear is nice.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone is red and they see the dog then they are nice.
((("someone" "is" "red" "+") ("someone" "sees" "dog" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and they see the cat then the cat chases the lion.
((("someone" "is" "rough" "+") ("someone" "sees" "cat" "+")) -> ("cat" "chases" "lion" "+"))
The bear sees the dog.
True
1
proof
[(triple1)]
("bear" "sees" "dog" "+")
triple1
The dog does not see the lion.
False
1
inv-proof
[(triple11)]
("dog" "sees" "lion" "-")
triple11
The bear is nice.
True
2
proof
[(((triple6) -> rule1))]
("bear" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("bear" "is" "nice" "-")
((triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "nice" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "nice" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bear sees the dog.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the lion.[(triple3 OR ((triple14 triple15) -> rule3))] The cat needs the bear.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the bear.[(triple6)] The cat sees the lion.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog needs the cat.[(triple10)] The dog sees the lion.[(triple11)] The lion chases the dog.[(triple12)] The lion is red.[(triple13)] The lion is rough.[(triple14)] The lion sees the cat.[(triple15)] @1: The bear is nice.[(((triple6) -> rule1))]
The bear sees the dog.
("bear" "sees" "dog" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat chases the lion.
("cat" "chases" "lion" "+")
triple3
((triple14 triple15) -> (rule3 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
triple4
The cat needs the dog.
("cat" "needs" "dog" "+")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple6
The cat sees the lion.
("cat" "sees" "lion" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog needs the cat.
("dog" "needs" "cat" "+")
triple10
The dog sees the lion.
("dog" "sees" "lion" "+")
triple11
The lion chases the dog.
("lion" "chases" "dog" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is rough.
("lion" "is" "rough" "+")
triple14
The lion sees the cat.
("lion" "sees" "cat" "+")
triple15
The bear is nice.
("bear" "is" "nice" "+")
((triple6) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1