Erin is not nice. Fiona is nice. Gary is big. Harry is cold. If Fiona is furry then Fiona is not quiet. If something is cold then it is not kind. All furry things are quiet. If something is big and quiet then it is cold. If Gary is red then Gary is not quiet. If something is cold and not nice then it is furry. Big things are furry. Nice, big things are red.
Erin is quiet.
@0: Erin is not nice.[(triple1)] Fiona is nice.[(triple2)] Gary is big.[(triple3)] Harry is cold.[(triple4)] @1: Gary is furry.[(((triple3) -> rule7))] Harry is not kind.[(((triple4) -> rule2))] @2: Gary is quiet.[(((((triple3) -> rule7)) -> rule3))] @3: Gary is cold.[(((triple3 ((((triple3) -> rule7)) -> rule3)) -> rule4))] @4: Gary is not kind.[(((((triple3 ((((triple3) -> rule7)) -> rule3)) -> rule4)) -> rule2))]