Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Bob is cold. Bob is furry. Bob is nice. Bob is red. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is round. Cold things are round.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule1))] Anne is young.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is nice.[(triple10)] Bob is red.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is round.[(triple16 OR ((triple12) -> rule1))] @1: Bob is round.[(((triple8) -> rule1))]