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.
Harry is not smart.
@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))]