Bob is big. Bob is not quiet. Bob is young. Fiona is furry. Fiona is rough. Gary is furry. Gary is green. If something is rough then it is green. If something is rough then it is green. All quiet, big things are young. All quiet, furry things are young. If Fiona is rough then Fiona is quiet. If Gary is green and Gary is not big then Gary is furry.
Gary is white.
@0: Bob is big.[(triple1)] Bob is not quiet.[(triple2)] Bob is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Fiona is green.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Fiona is quiet.[(((triple5) -> rule5))] @2: Fiona is young.[(((((triple5) -> rule5) triple4) -> rule4))]