Dave is white. Erin is furry. Fiona is round. Harry is not white. If someone is furry then they are young. If someone is furry and cold then they are young. All furry people are big. All rough people are big. Big, round people are not white. Furry, young people are round.
Dave is furry.
@0: Dave is white.[(triple1)] Erin is furry.[(triple2)] Fiona is round.[(triple3)] Harry is not white.[(triple4)] @1: Erin is big.[(((triple2) -> rule3))] Erin is young.[(((triple2) -> rule1))] @2: Erin is round.[(((triple2 ((triple2) -> rule1)) -> rule6))] @3: Erin is not white.[(((((triple2) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule6)) -> rule5))]