The cat is cold. The cat is red. The tiger sees the cat. If someone is cold then they need the tiger. If someone needs the tiger then they eat the cat. Cold people are rough.
The cat is red.
@0: The cat is cold.[(triple1)] The cat is red.[(triple2)] The tiger sees the cat.[(triple3)] @1: The cat is rough.[(((triple1) -> rule3))] The cat needs the tiger.[(((triple1) -> rule1))] @2: The cat eats the cat.[(((((triple1) -> rule1)) -> rule2))]