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