Erin is big. Erin is furry. Fiona is cold. Fiona is furry. Harry is cold. Harry is red. Harry is rough. If something is cold and rough then it is furry.
Harry is not red.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Harry is cold.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Harry is furry.[(((triple5 triple7) -> rule1))]