Charlie is not blue. Charlie is nice. Charlie is smart. Fiona is furry. Gary is blue. Harry is furry. Harry is nice. If someone is furry and not round then they are smart. All furry people are not smart. If someone is big then they are nice. If someone is round then they are big. All blue people are not big. If Harry is furry and Harry is rough then Harry is big.
Harry is rough.
@0: Charlie is nice.[(triple2)] Charlie is not blue.[(triple1)] Charlie is smart.[(triple3)] Fiona is furry.[(triple4)] Gary is blue.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Fiona is not smart.[(((triple4) -> rule2))] Gary is not big.[(((triple5) -> rule5))] Harry is not smart.[(((triple6) -> rule2))]