Charlie is cold. Charlie is green. Dave is cold. Dave is green. Erin is nice. Erin is red. Erin is round. Harry is green. Harry is nice. Harry is red. All round, nice people are cold. If Harry is nice then Harry is big. Big people are nice.
Dave is green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Erin is cold.[(((triple7 triple5) -> rule1))] Harry is big.[(((triple9) -> rule2))]