The bear is kind. The bear is red. The bear sees the dog. The bear sees the rabbit. The dog is red. The dog is young. The dog likes the lion. The dog needs the lion. The dog sees the rabbit. The lion is red. The lion needs the rabbit. The lion sees the dog. The rabbit is cold. The rabbit is red. The rabbit likes the dog. The rabbit sees the lion. If someone is cold then they see the lion. If someone is young and they need the dog then the dog is red. If the rabbit sees the bear and the bear sees the dog then the rabbit likes the bear. If the bear is red then the bear needs the dog. If someone needs the dog then they like the bear. If someone likes the bear and the bear is red then the bear likes the dog.
The bear is young.
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear sees the dog.[(triple3)] The bear sees the rabbit.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the lion.[(triple7)] The dog needs the lion.[(triple8)] The dog sees the rabbit.[(triple9)] The lion is red.[(triple10)] The lion needs the rabbit.[(triple11)] The lion sees the dog.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the dog.[(triple15)] The rabbit sees the lion.[(triple16 OR ((triple13) -> rule1))] @1: The bear needs the dog.[(((triple2) -> rule4))] @2: The bear likes the bear.[(((((triple2) -> rule4)) -> rule5))] @3: The bear likes the dog.[(((((((triple2) -> rule4)) -> rule5) triple2) -> rule6))]