The bear is round. The bear is young. The bear sees the dog. The bear visits the rabbit. The dog is nice. The dog is young. The dog visits the rabbit. The lion is nice. The lion is young. The lion needs the bear. The lion sees the bear. The rabbit is blue. The rabbit is cold. The rabbit sees the bear. The rabbit sees the lion. The rabbit visits the dog. If something visits the bear and it is nice then it is cold. If something needs the bear and the bear is nice then the bear needs the dog. If something is round and it visits the rabbit then it is nice. If something sees the rabbit and the rabbit is round then the rabbit needs the dog. If something sees the bear then it sees the rabbit. If something needs the bear then it sees the dog.
The bear is not young.
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the rabbit.[(triple4)] The dog is nice.[(triple5)] The dog is young.[(triple6)] The dog visits the rabbit.[(triple7)] The lion is nice.[(triple8)] The lion is young.[(triple9)] The lion needs the bear.[(triple10)] The lion sees the bear.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is cold.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The bear is nice.[(((triple1 triple4) -> rule3))] The lion sees the dog.[(((triple10) -> rule6))] The lion sees the rabbit.[(((triple11) -> rule5))] The rabbit sees the rabbit.[(((triple14) -> rule5))] @2: The bear needs the dog.[(((triple10 ((triple1 triple4) -> rule3)) -> rule2))]