Erin is red. Fiona is big. Gary is quiet. Harry is rough. If someone is quiet then they are big. Smart people are red. If someone is nice and young then they are quiet. If someone is rough and young then they are nice. All smart, quiet people are red. Nice, rough people are quiet. If someone is young then they are red. Smart people are young.
Harry is smart.
@0: Erin is red.[(triple1)] Fiona is big.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Gary is big.[(((triple3) -> rule1))]