The bear is cold. The bear is kind. The bear is young. The bear visits the dog. The dog is blue. The dog is young. The dog needs the rabbit. The dog visits the bear. The dog visits the rabbit. The lion is kind. The lion needs the bear. The rabbit sees the bear. If something needs the dog then it sees the lion. If something sees the bear and it needs the rabbit then the rabbit is young. If the dog needs the bear and the bear needs the lion then the bear visits the dog. If something visits the lion then it sees the bear. If something is blue then it visits the lion. If something needs the rabbit and the rabbit visits the bear then it visits the lion.
The rabbit is blue.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is young.[(triple3)] The bear visits the dog.[(triple4)] The dog is blue.[(triple5)] The dog is young.[(triple6)] The dog needs the rabbit.[(triple7)] The dog visits the bear.[(triple8)] The dog visits the rabbit.[(triple9)] The lion is kind.[(triple10)] The lion needs the bear.[(triple11)] The rabbit sees the bear.[(triple12)] @1: The dog visits the lion.[(((triple5) -> rule5))] @2: The dog sees the bear.[(((((triple5) -> rule5)) -> rule4))] @3: The rabbit is young.[(((((((triple5) -> rule5)) -> rule4) triple7) -> rule2))]