The bear chases the dog. The bear chases the tiger. The bear is not cold. The bear is kind. The bear is young. The bear likes the dog. The bear needs the dog. The dog does not chase the rabbit. The dog is nice. The dog does not need the bear. The dog needs the rabbit. The dog needs the tiger. The rabbit is round. The tiger is not cold. The tiger needs the rabbit. If something is cold and it does not like the tiger then the tiger is nice. If something likes the dog then it needs the bear. If something is nice then it does not like the bear. If something is cold and not kind then it chases the rabbit. If something needs the tiger then it is cold. If something chases the dog then it likes the rabbit. If something is cold and it does not like the bear then it is round. If the rabbit is round then the rabbit does not chase the tiger.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something is cold and it does not like the tiger then the tiger is nice.
((("something" "is" "cold" "+") ("something" "likes" "tiger" "~")) -> ("tiger" "is" "nice" "+"))
If something likes the dog then it needs the bear.
((("something" "likes" "dog" "+")) -> ("something" "needs" "bear" "+"))
If something is nice then it does not like the bear.
((("something" "is" "nice" "+")) -> ("something" "likes" "bear" "-"))
If something is cold and not kind then it chases the rabbit.
((("something" "is" "cold" "+") ("something" "is" "kind" "~")) -> ("something" "chases" "rabbit" "+"))
If something needs the tiger then it is cold.
((("something" "needs" "tiger" "+")) -> ("something" "is" "cold" "+"))
If something chases the dog then it likes the rabbit.
((("something" "chases" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
If something is cold and it does not like the bear then it is round.
((("something" "is" "cold" "+") ("something" "likes" "bear" "~")) -> ("something" "is" "round" "+"))
If the rabbit is round then the rabbit does not chase the tiger.
((("rabbit" "is" "round" "+")) -> ("rabbit" "chases" "tiger" "-"))
The bear is kind.
True
1
proof
[(triple4)]
("bear" "is" "kind" "+")
triple4
The tiger is cold.
False
1
inv-proof
[(triple14)]
("tiger" "is" "cold" "+")
triple14
The bear likes the rabbit.
True
2
proof
[(((triple1) -> rule6))]
("bear" "likes" "rabbit" "+")
((triple1) -> (rule6 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple6) -> rule2))]
("bear" "needs" "bear" "-")
((triple6) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The dog is round.
True
5
proof
[(((((triple12) -> rule5) ((triple9) -> rule3)) -> rule7))]
("dog" "is" "round" "+")
((((triple12) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog does not like the bear.
("dog" "likes" "bear" "-")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is not round.
False
5
inv-proof
[(((((triple12) -> rule5) ((triple9) -> rule3)) -> rule7))]
("dog" "is" "round" "-")
((((triple12) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog does not like the bear.
("dog" "likes" "bear" "-")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "is" "round" "-")
The tiger chases the rabbit.
Unknown
rconc
[@1: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "rabbit" "+")
The bear does not chase the rabbit.
Unknown
inv-rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "rabbit" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The dog likes the tiger.
Unknown
random
[@0: The dog likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "tiger" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the tiger.[(triple2)] The bear is kind.[(triple4)] The bear is not cold.[(triple3)] The bear is young.[(triple5)] The bear likes the dog.[(triple6)] The bear needs the dog.[(triple7)] The dog does not chase the rabbit.[(triple8)] The dog does not need the bear.[(triple10)] The dog is nice.[(triple9)] The dog needs the rabbit.[(triple11)] The dog needs the tiger.[(triple12)] The rabbit is round.[(triple13)] The tiger is not cold.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The bear likes the rabbit.[(((triple1) -> rule6))] The bear needs the bear.[(((triple6) -> rule2))] The dog does not like the bear.[(((triple9) -> rule3))] The dog is cold.[(((triple12) -> rule5))] The rabbit does not chase the tiger.[(((triple13) -> rule8))] @2: The dog is round.[(((((triple12) -> rule5) ((triple9) -> rule3)) -> rule7))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the dog.
("bear" "likes" "dog" "+")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple8
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The tiger is not cold.
("tiger" "is" "cold" "-")
triple14
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple1) -> (rule6 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple6) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The dog does not like the bear.
("dog" "likes" "bear" "-")
((triple9) -> (rule3 % int1))
The dog does not like the bear.
("dog" "likes" "bear" "-")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple12) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
((triple13) -> (rule8 % int1))
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple12) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog does not like the bear.
("dog" "likes" "bear" "-")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3