The bear chases the rabbit. The rabbit likes the bear. If someone chases the bear then the bear likes the rabbit. If someone is young and they chase the bear then they chase the rabbit. If the rabbit likes the bear then the rabbit is cold. If someone chases the rabbit and they need the rabbit then the rabbit is nice. If someone chases the rabbit then they chase the bear. If someone needs the rabbit then they chase the rabbit. Cold people are red. If someone is red then they are young.
The bear chases the rabbit.
@0: The bear chases the rabbit.[(triple1)] The rabbit likes the bear.[(triple2)] @1: The bear chases the bear.[(((triple1) -> rule5))] The rabbit is cold.[(((triple2) -> rule3))] @2: The bear likes the rabbit.[(((((triple1) -> rule5)) -> rule1))] The rabbit is red.[(((((triple2) -> rule3)) -> rule7))] @3: The rabbit is young.[(((((((triple2) -> rule3)) -> rule7)) -> rule8))]