Erin is rough. Erin is not white. Fiona is not green. Fiona is white. Harry is blue. Harry is round. Harry is not white. If someone is white then they are not blue. If Fiona is cold then Fiona is rough. All blue people are not cold. If Fiona is furry then Fiona is blue. If Erin is furry then Erin is blue. If someone is rough and white then they are round. If someone is rough and not white then they are furry. All green people are furry.
Harry is not rough.
@0: Erin is not white.[(triple2)] Erin is rough.[(triple1)] Fiona is not green.[(triple3)] Fiona is white.[(triple4)] Harry is blue.[(triple5)] Harry is not white.[(triple7)] Harry is round.[(triple6)] @1: Erin is furry.[(((triple1 triple2) -> rule7))] Fiona is not blue.[(((triple4) -> rule1))] Harry is not cold.[(((triple5) -> rule3))] @2: Erin is blue.[(((((triple1 triple2) -> rule7)) -> rule5))] @3: Erin is not cold.[(((((((triple1 triple2) -> rule7)) -> rule5)) -> rule3))]