Erin is round. Erin is smart. Fiona is kind. Fiona is not smart. Gary is not young. Harry is kind. Harry is round. All quiet people are kind. If Fiona is not round then Fiona is not blue. If someone is round and quiet then they are smart. If someone is smart then they are not young. If Erin is rough and Erin is quiet then Erin is round. If someone is round and not young then they are blue.
Erin is young.
@0: Erin is round.[(triple1)] Erin is smart.[(triple2)] Fiona is kind.[(triple3)] Fiona is not smart.[(triple4)] Gary is not young.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Erin is not young.[(((triple2) -> rule4))] @2: Erin is blue.[(((triple1 ((triple2) -> rule4)) -> rule6))]