The bear is blue. The bear needs the rabbit. The rabbit is nice. If the bear visits the rabbit then the rabbit visits the bear. If someone is cold then they need the bear. If the bear needs the rabbit then the rabbit is round. If the rabbit visits the bear then the bear visits the rabbit. If someone visits the bear and the bear needs the rabbit then the bear is round. If someone is round then they visit the bear.
The bear is round.
@0: The bear is blue.[(triple1)] The bear needs the rabbit.[(triple2)] The rabbit is nice.[(triple3)] @1: The rabbit is round.[(((triple2) -> rule3))] @2: The rabbit visits the bear.[(((((triple2) -> rule3)) -> rule6))] @3: The bear is round.[(((((((triple2) -> rule3)) -> rule6) triple2) -> rule5))] The bear visits the rabbit.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))] @4: The bear visits the bear.[(((((((((triple2) -> rule3)) -> rule6) triple2) -> rule5)) -> rule6))]