Anne is big. Charlie is furry. Fiona is big. Gary is rough. If Fiona is big then Fiona is kind. If Gary is rough then Gary is not kind. If Charlie is not furry then Charlie is not smart.
Fiona is not big.
@0: Anne is big.[(triple1)] Charlie is furry.[(triple2)] Fiona is big.[(triple3)] Gary is rough.[(triple4)] @1: Fiona is kind.[(((triple3) -> rule1))] Gary is not kind.[(((triple4) -> rule2))]