The rabbit is blue. All round, green people are blue. Rough people are red. Round people are rough. If someone is round and rough then they are blue. If someone is blue then they are rough. If someone is red then they are rough.
The rabbit is red.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is rough.[(((triple1) -> rule5))] @2: The rabbit is red.[(((((triple1) -> rule5)) -> rule2))]