Bob is green. Bob is rough. Bob is white. Bob is young. Erin is green. Erin is rough. Erin is white. Erin is young. Gary is green. Gary is white. Gary is young. Harry is round. If Erin is white then Erin is round. All furry, rough things are white.
Erin is furry.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Erin is green.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is round.[(triple12)] @1: Erin is round.[(((triple7) -> rule1))]