Fiona is kind. Fiona is rough. Fiona is smart. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Quiet, nice things are kind. If something is smart then it is white. All white things are quiet.
Harry is rough.
@0: Fiona is kind.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((triple7) -> rule3))] Gary is rough.[(triple6)] Gary is white.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9 OR ((triple12) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple11) -> rule2))] @1: Fiona is white.[(((triple3) -> rule2))] Harry is kind.[(((triple9 triple8) -> rule1) OR ((((triple12) -> rule3) triple8) -> rule1) OR ((((((triple11) -> rule2)) -> rule3) triple8) -> rule1))] @2: Fiona is quiet.[(((((triple3) -> rule2)) -> rule3))]