The bear is kind. The bear does not need the rabbit. The bear sees the rabbit. The lion sees the rabbit. The lion visits the bear. The rabbit is cold. The rabbit is round. The rabbit is young. The rabbit sees the bear. The rabbit sees the lion. If someone needs the bear and the bear is kind then they are young. If someone is kind then they need the bear. If someone sees the lion and they do not visit the lion then the lion does not need the rabbit. If someone needs the lion and they do not see the bear then they see the lion. If someone visits the lion and they are round then they see the lion. If the lion sees the rabbit and the rabbit is round then the rabbit is cold. If someone is young and cold then they need the rabbit. If someone is young then they are round.
The bear does not need the bear.
@0: The bear does not need the rabbit.[(triple2)] The bear is kind.[(triple1)] The bear sees the rabbit.[(triple3)] The lion sees the rabbit.[(triple4)] The lion visits the bear.[(triple5)] The rabbit is cold.[(triple6 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple8) -> rule8)) -> rule6))] The rabbit is round.[(triple7 OR ((triple8) -> rule8))] The rabbit is young.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The bear needs the bear.[(((triple1) -> rule2))] The rabbit needs the rabbit.[(((triple8 triple6) -> rule7) OR ((triple8 ((triple4 triple7) -> rule6)) -> rule7) OR ((triple8 ((triple4 ((triple8) -> rule8)) -> rule6)) -> rule7))] @2: The bear is young.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The bear is round.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule8))]