Charlie is rough. Fiona is furry. Harry is big. If someone is green and red then they are cold. Furry, green people are red. If Fiona is furry then Fiona is green. All red people are green. If someone is cold then they are big. All big, rough people are green. If Charlie is cold then Charlie is rough. If someone is round and cold then they are rough.
Harry is not round.
@0: Charlie is rough.[(triple1)] Fiona is furry.[(triple2)] Harry is big.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] @2: Fiona is red.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Fiona is cold.[(((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule2)) -> rule1))] @4: Fiona is big.[(((((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule2)) -> rule1)) -> rule5))]