Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is young. Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is young. All red things are cold.
Anne is red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule1))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple12) -> rule1))] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14)]