Anne is cold. Charlie is round. Erin is cold. Fiona is furry. Furry things are big. All cold things are rough. If something is young then it is furry. All round, furry things are rough. If Fiona is furry then Fiona is round. Big, cold things are round. Blue things are big. If something is cold and young then it is rough.
Charlie is not rough.
@0: Anne is cold.[(triple1)] Charlie is round.[(triple2)] Erin is cold.[(triple3)] Fiona is furry.[(triple4)] @1: Anne is rough.[(((triple1) -> rule2))] Erin is rough.[(((triple3) -> rule2))] Fiona is big.[(((triple4) -> rule1))] Fiona is round.[(((triple4) -> rule5))] @2: Fiona is rough.[(((((triple4) -> rule5) triple4) -> rule4))]