The bear is green. The bear is young. The bear sees the rabbit. The lion is cold. The lion is young. The lion needs the bear. The lion needs the rabbit. The rabbit needs the bear. The rabbit needs the lion. The rabbit does not see the bear. The rabbit visits the bear. The rabbit visits the lion. If someone visits the bear and the bear is not red then the bear sees the rabbit. If the lion is cold and the lion visits the bear then the lion sees the bear. If someone visits the bear and they need the lion then the lion sees the bear. If the bear sees the lion then the bear is cold. If someone is cold then they need the rabbit. If someone needs the lion and the lion sees the bear then the bear sees the lion.
The rabbit is red.
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The bear sees the rabbit.[(triple3)] The lion is cold.[(triple4)] The lion is young.[(triple5)] The lion needs the bear.[(triple6)] The lion needs the rabbit.[(triple7 OR ((triple4) -> rule5))] The rabbit does not see the bear.[(triple10)] The rabbit needs the bear.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit visits the bear.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion sees the bear.[(((triple11 triple9) -> rule3))] @2: The bear sees the lion.[(((triple9 ((triple11 triple9) -> rule3)) -> rule6))] @3: The bear is cold.[(((((triple9 ((triple11 triple9) -> rule3)) -> rule6)) -> rule4))] @4: The bear needs the rabbit.[(((((((triple9 ((triple11 triple9) -> rule3)) -> rule6)) -> rule4)) -> rule5))]