Charlie is cold. Charlie is green. Charlie is rough. Charlie is white. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is white. Smart things are quiet. All rough, white things are kind. If something is kind then it is smart.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple8) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Fiona is smart.[(triple8 OR ((triple6) -> rule3))] Fiona is white.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple14 triple16) -> rule2))] Harry is quiet.[(triple13 OR ((triple15) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((((triple14 triple16) -> rule2)) -> rule3)) -> rule1))] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple12) -> rule3) OR ((((triple14 triple16) -> rule2)) -> rule3))] Harry is white.[(triple16)] @1: Charlie is kind.[(((triple3 triple4) -> rule2))] @2: Charlie is smart.[(((((triple3 triple4) -> rule2)) -> rule3))] @3: Charlie is quiet.[(((((((triple3 triple4) -> rule2)) -> rule3)) -> rule1))]