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