Anne is rough. Bob is cold. Fiona is not smart. Gary is rough. If Fiona is nice then Fiona is kind. If someone is furry and nice then they are not smart. If someone is furry and nice then they are smart. If someone is big then they are nice. If someone is smart and not nice then they are kind. All rough people are not kind. If someone is big and not kind then they are cold. If someone is furry and big then they are cold.
Fiona is smart.
@0: Anne is rough.[(triple1)] Bob is cold.[(triple2)] Fiona is not smart.[(triple3)] Gary is rough.[(triple4)] @1: Anne is not kind.[(((triple1) -> rule6))] Gary is not kind.[(((triple4) -> rule6))]