Dave is blue. Dave is cold. Dave is red. Erin is red. Erin is rough. Fiona is blue. Fiona is green. Fiona is red. Fiona is rough. Harry is cold. Green people are round. If someone is green then they are red. If someone is green then they are red.
Erin is rough.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple7) -> rule2) OR ((triple7) -> rule3))] Fiona is rough.[(triple9)] Harry is cold.[(triple10)] @1: Fiona is round.[(((triple7) -> rule1))]