Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is round. Erin is furry. Gary is blue. Gary is furry. Harry is green. Harry is round. All rough people are round. If someone is blue and green then they are furry.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule1))] Erin is furry.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)]