Anne is not cold. Anne is nice. Anne is rough. Bob is cold. Bob is quiet. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is not smart. If something is nice and not green then it is quiet. Nice, green things are quiet. Quiet things are furry. All furry, quiet things are rough. Rough, green things are not nice. All smart things are cold. If Bob is cold and Bob is rough then Bob is nice. If Anne is smart then Anne is not cold.
Anne is not quiet.
@0: Anne is nice.[(triple2)] Anne is not cold.[(triple1)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is quiet.[(triple5)] Gary is furry.[(triple6 OR ((triple8) -> rule3))] Gary is nice.[(triple7)] Gary is not smart.[(triple10)] Gary is quiet.[(triple8)] Gary is rough.[(triple9 OR ((triple6 triple8) -> rule4) OR ((((triple8) -> rule3) triple8) -> rule4))] @1: Bob is furry.[(((triple5) -> rule3))] @2: Bob is rough.[(((((triple5) -> rule3) triple5) -> rule4))] @3: Bob is nice.[(((triple4 ((((triple5) -> rule3) triple5) -> rule4)) -> rule7))]