Bob is cold. Bob is nice. Charlie is cold. Charlie is quiet. Charlie is rough. Erin is cold. Erin is rough. Erin is round. Gary is furry. Gary is rough. Cold, nice people are rough. All rough people are cold.
Gary is not furry.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is cold.[(triple3 OR ((triple5) -> rule2))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Erin is cold.[(triple6 OR ((triple7) -> rule2))] Erin is rough.[(triple7)] Erin is round.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10)] @1: Bob is rough.[(((triple1 triple2) -> rule1))] Gary is cold.[(((triple10) -> rule2))]