The bear is nice. The bear is round. The bear is young. The bear likes the dog. The bear sees the dog. The dog is kind. The dog is not rough. The dog is young. The dog likes the bear. The dog needs the bear. Kind people are round. If someone is kind and they see the dog then they need the dog. If someone likes the bear and the bear does not like the dog then the bear does not need the dog. If someone is round then they like the bear. If someone sees the bear and the bear likes the dog then the dog sees the bear. If someone sees the dog and they are young then the dog sees the bear. If someone sees the dog and they are not round then they are rough. If someone needs the bear and they do not like the bear then they are young.
The bear is not round.
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog is kind.[(triple6)] The dog is not rough.[(triple7)] The dog is young.[(triple8)] The dog likes the bear.[(triple9 OR ((((triple6) -> rule1)) -> rule4))] The dog needs the bear.[(triple10)] @1: The bear likes the bear.[(((triple2) -> rule4))] The dog is round.[(((triple6) -> rule1))] The dog sees the bear.[(((triple5 triple3) -> rule6))]