Bob is blue. Bob is quiet. Erin is red. Erin is rough. Fiona is blue. Fiona is kind. Harry is white. If someone is rough and kind then they are quiet. Rough people are round. White people are kind.
Fiona is kind.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Harry is white.[(triple7)] @1: Erin is round.[(((triple4) -> rule2))] Harry is kind.[(((triple7) -> rule3))]