Charlie is furry. Charlie is kind. Fiona is big. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is white. If Charlie is cold then Charlie is big. If Charlie is white and Charlie is kind then Charlie is rough. If something is rough and white then it is big. Quiet, cold things are big. White things are quiet. All furry, kind things are white.
Charlie is cold.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Fiona is big.[(triple3 OR ((triple6 triple7) -> rule3) OR ((((triple7) -> rule5) triple4) -> rule4))] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is white.[(((triple1 triple2) -> rule6))] Fiona is quiet.[(((triple7) -> rule5))] @2: Charlie is quiet.[(((((triple1 triple2) -> rule6)) -> rule5))] Charlie is rough.[(((((triple1 triple2) -> rule6) triple2) -> rule2))] @3: Charlie is big.[(((((((triple1 triple2) -> rule6) triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule3))]