Anne is young. Charlie is round. Erin is red. Fiona is round. If Fiona is rough then Fiona is furry. If Fiona is cold and Fiona is young then Fiona is furry. If someone is red then they are young. If someone is red and young then they are cold. All furry people are young. All round people are red.
Charlie is cold.
@0: Anne is young.[(triple1)] Charlie is round.[(triple2)] Erin is red.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is red.[(((triple2) -> rule6))] Erin is young.[(((triple3) -> rule3))] Fiona is red.[(((triple4) -> rule6))] @2: Charlie is young.[(((((triple2) -> rule6)) -> rule3))] Erin is cold.[(((triple3 ((triple3) -> rule3)) -> rule4))] Fiona is young.[(((((triple4) -> rule6)) -> rule3))] @3: Charlie is cold.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule4))] Fiona is cold.[(((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule3)) -> rule4))] @4: Fiona is furry.[(((((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule2))]