Erin is red. Fiona is green. Gary is quiet. Harry is red. All rough people are quiet. All red people are big. Green, blue people are smart.
Fiona is rough.
@0: Erin is red.[(triple1)] Fiona is green.[(triple2)] Gary is quiet.[(triple3)] Harry is red.[(triple4)] @1: Erin is big.[(((triple1) -> rule2))] Harry is big.[(((triple4) -> rule2))]