The bear is round. The bear needs the dog. The bear needs the tiger. The bear sees the lion. The dog is blue. The dog is green. The dog is rough. The dog sees the bear. The lion chases the tiger. The lion is blue. The lion needs the dog. The lion does not see the bear. The lion sees the tiger. The tiger is green. The tiger needs the dog. If someone sees the tiger then they are nice. If someone is round then they chase the dog. If someone sees the dog then they do not chase the dog. If someone needs the lion and the lion chases the tiger then they are green. If the tiger sees the bear and the tiger does not chase the lion then the lion chases the bear. If someone is nice then they need the lion.
The bear is round.
("bear" "is" "round" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion does not see the bear.
("lion" "sees" "bear" "-")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If someone sees the tiger then they are nice.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they chase the dog.
((("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
If someone sees the dog then they do not chase the dog.
((("someone" "sees" "dog" "+")) -> ("someone" "chases" "dog" "-"))
If someone needs the lion and the lion chases the tiger then they are green.
((("someone" "needs" "lion" "+") ("lion" "chases" "tiger" "+")) -> ("someone" "is" "green" "+"))
If the tiger sees the bear and the tiger does not chase the lion then the lion chases the bear.
((("tiger" "sees" "bear" "+") ("tiger" "chases" "lion" "~")) -> ("lion" "chases" "bear" "+"))
If someone is nice then they need the lion.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "lion" "+"))
The lion sees the tiger.
True
1
proof
[(triple13)]
("lion" "sees" "tiger" "+")
triple13
The bear does not need the dog.
False
1
inv-proof
[(triple2)]
("bear" "needs" "dog" "-")
triple2
The lion is nice.
True
2
proof
[(((triple13) -> rule1))]
("lion" "is" "nice" "+")
((triple13) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple13) -> rule1))]
("lion" "is" "nice" "-")
((triple13) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion needs the lion.
True
3
proof
[(((((triple13) -> rule1)) -> rule6))]
("lion" "needs" "lion" "+")
((((triple13) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion does not need the lion.
False
3
inv-proof
[(((((triple13) -> rule1)) -> rule6))]
("lion" "needs" "lion" "-")
((((triple13) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is green.
True
5
proof
[(((((((triple13) -> rule1)) -> rule6) triple9) -> rule4))]
("lion" "is" "green" "+")
((((((triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The lion is not green.
False
5
inv-proof
[(((((((triple13) -> rule1)) -> rule6) triple9) -> rule4))]
("lion" "is" "green" "-")
((((((triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The lion chases the bear.
Unknown
rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "chases" "bear" "+")
The tiger does not chase the dog.
Unknown
inv-rconc
[@1: The tiger chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "dog" "-")
The bear is green.
Unknown
rconc
[@3: The bear is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule1 <- FAIL)]]
("bear" "is" "green" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bear is round.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the lion.[(triple4)] The dog is blue.[(triple5)] The dog is green.[(triple6)] The dog is rough.[(triple7)] The dog sees the bear.[(triple8)] The lion chases the tiger.[(triple9)] The lion does not see the bear.[(triple12)] The lion is blue.[(triple10)] The lion needs the dog.[(triple11)] The lion sees the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger needs the dog.[(triple15)] @1: The bear chases the dog.[(((triple1) -> rule2))] The lion is nice.[(((triple13) -> rule1))] @2: The lion needs the lion.[(((((triple13) -> rule1)) -> rule6))] @3: The lion is green.[(((((((triple13) -> rule1)) -> rule6) triple9) -> rule4))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The bear sees the lion.
("bear" "sees" "lion" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog sees the bear.
("dog" "sees" "bear" "+")
triple8
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple9
The lion does not see the bear.
("lion" "sees" "bear" "-")
triple12
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion needs the dog.
("lion" "needs" "dog" "+")
triple11
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The bear chases the dog.
("bear" "chases" "dog" "+")
((triple1) -> (rule2 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple13) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((((triple13) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is green.
("lion" "is" "green" "+")
((((((triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3