Charlie is smart. Fiona is not blue. Fiona is furry. Gary is big. Gary is quiet. Gary is round. Harry is big. Harry is blue. Harry is furry. Harry is smart. All quiet, big people are furry. If Fiona is furry and Fiona is big then Fiona is round.
Gary is not big.
@0: Charlie is smart.[(triple1)] Fiona is furry.[(triple3)] Fiona is not blue.[(triple2)] Gary is big.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Gary is furry.[(((triple5 triple4) -> rule1))]