Charlie is furry. Dave is not round. Erin is young. Gary is cold. Gary is green. Gary is rough. Gary is young. If Dave is round then Dave is cold. If someone is round and rough then they are green. If someone is blue and not cold then they are furry. If someone is blue then they are furry. Rough people are furry. If someone is cold and green then they are rough. Young people are rough. If Erin is furry then Erin is not green.
Dave is round.
@0: Charlie is furry.[(triple1)] Dave is not round.[(triple2)] Erin is young.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6 OR ((triple7) -> rule7) OR ((triple4 triple5) -> rule6))] Gary is young.[(triple7)] @1: Erin is rough.[(((triple3) -> rule7))] Gary is furry.[(((triple6) -> rule5) OR ((((triple7) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule6)) -> rule5))] @2: Erin is furry.[(((((triple3) -> rule7)) -> rule5))] @3: Erin is not green.[(((((((triple3) -> rule7)) -> rule5)) -> rule8))]