Charlie is big. Erin is rough. Fiona is big. Harry is rough. Cold things are furry. If something is big and furry then it is cold. All cold things are round. All quiet, cold things are red. If something is round then it is rough. All quiet, round things are rough. Rough things are big. If something is red then it is big.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Erin is rough.[(triple2)] Fiona is big.[(triple3)] Harry is rough.[(triple4)] @1: Erin is big.[(((triple2) -> rule7))] Harry is big.[(((triple4) -> rule7))]