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