The bear needs the rabbit. The dog needs the rabbit. The rabbit is rough. The rabbit needs the bear. The tiger is rough. The tiger is round. The tiger sees the dog. If something sees the dog and the dog needs the rabbit then the dog is green. If the bear needs the dog and the bear sees the dog then the dog needs the tiger. If the dog needs the rabbit and the dog sees the tiger then the tiger is rough. All green things are round. If something needs the dog and the dog chases the bear then the dog is green. All nice, round things are rough.
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something sees the dog and the dog needs the rabbit then the dog is green.
((("something" "sees" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "is" "green" "+"))
If the bear needs the dog and the bear sees the dog then the dog needs the tiger.
((("bear" "needs" "dog" "+") ("bear" "sees" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If the dog needs the rabbit and the dog sees the tiger then the tiger is rough.
((("dog" "needs" "rabbit" "+") ("dog" "sees" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something needs the dog and the dog chases the bear then the dog is green.
((("something" "needs" "dog" "+") ("dog" "chases" "bear" "+")) -> ("dog" "is" "green" "+"))
All nice, round things are rough.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The bear needs the rabbit.
True
1
proof
[(triple1)]
("bear" "needs" "rabbit" "+")
triple1
The dog does not need the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "needs" "rabbit" "-")
triple2
The dog is green.
True
3
proof
[(((triple7 triple2) -> rule1))]
("dog" "is" "green" "+")
((triple7 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
3
inv-proof
[(((triple7 triple2) -> rule1))]
("dog" "is" "green" "-")
((triple7 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
True
4
proof
[(((((triple7 triple2) -> rule1)) -> rule4))]
("dog" "is" "round" "+")
((((triple7 triple2) -> (rule1 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is not round.
False
4
inv-proof
[(((((triple7 triple2) -> rule1)) -> rule4))]
("dog" "is" "round" "-")
((((triple7 triple2) -> (rule1 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "rough" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not need the tiger.
Unknown
inv-rconc
[@1: The dog needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "tiger" "-")
The bear sees the dog.
Unknown
random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bear needs the rabbit.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit is rough.[(triple3)] The rabbit needs the bear.[(triple4)] The tiger is rough.[(triple5)] The tiger is round.[(triple6)] The tiger sees the dog.[(triple7)] @1: The dog is green.[(((triple7 triple2) -> rule1))] @2: The dog is round.[(((((triple7 triple2) -> rule1)) -> rule4))]
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5
The tiger is round.
("tiger" "is" "round" "+")
triple6
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
((triple7 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple7 triple2) -> (rule1 % int2))) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2