Dave is round. Dave is white. Erin is nice. Gary is nice. Gary is round. Gary is young. Harry is round. If something is nice and blue then it is young. If something is nice then it is white. If Dave is red and Dave is furry then Dave is blue. If something is white and red then it is round. If Dave is nice then Dave is round. All nice things are furry. Nice, furry things are young. All blue things are nice.
Harry is red.
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Erin is nice.[(triple3)] Gary is nice.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6 OR ((triple4 ((triple4) -> rule6)) -> rule7))] Harry is round.[(triple7)] @1: Erin is furry.[(((triple3) -> rule6))] Erin is white.[(((triple3) -> rule2))] Gary is furry.[(((triple4) -> rule6))] Gary is white.[(((triple4) -> rule2))] @2: Erin is young.[(((triple3 ((triple3) -> rule6)) -> rule7))]