Erin is nice. Fiona is furry. Fiona is kind. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Harry is furry. Harry is not kind. Harry is round. If Erin is kind and Erin is not nice then Erin is not cold. If Harry is smart and Harry is furry then Harry is big. All round things are smart.
Harry is not smart.
@0: Erin is nice.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Harry is furry.[(triple8)] Harry is not kind.[(triple9)] Harry is round.[(triple10)] @1: Harry is smart.[(((triple10) -> rule3))] @2: Harry is big.[(((((triple10) -> rule3) triple8) -> rule2))]