Bob is rough. Erin is green. Erin is kind. Erin is rough. Erin is white. Fiona is green. Fiona is quiet. Fiona is rough. Gary is quiet. Gary is rough. If something is furry then it is rough. If Erin is furry and Erin is green then Erin is rough. White things are furry.
Gary is not quiet.
@0: Bob is rough.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is rough.[(triple4 OR ((((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule3) triple2) -> rule2))] Erin is white.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] @1: Erin is furry.[(((triple5) -> rule3))]