Charlie is big. Charlie is rough. Charlie is round. Fiona is big. Fiona is cold. Fiona is round. Fiona is white. If something is furry and rough then it is cold. Big things are furry. If something is furry and cold then it is white.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((((triple4) -> rule2) triple5) -> rule3))] @1: Charlie is furry.[(((triple1) -> rule2))] Fiona is furry.[(((triple4) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule2) triple2) -> rule1))] @3: Charlie is white.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]