Bob is young. Dave is red. Dave is rough. Gary is furry. Gary is green. Gary is rough. Gary is white. All round, rough things are green. All white, red things are rough. All young, green things are round. Green, rough things are white. Rough, furry things are young. Furry things are white.
Dave is furry.
@0: Bob is young.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule6) OR ((triple5 triple6) -> rule4))] @1: Gary is young.[(((triple6 triple4) -> rule5))] @2: Gary is round.[(((((triple6 triple4) -> rule5) triple5) -> rule3))]