Anne is big. Anne is blue. Anne is furry. Anne is red. Bob is not blue. Bob is cold. Bob is furry. Bob is not kind. Bob is not red. Gary is big. Gary is blue. Gary is not cold. Gary is furry. Gary is not kind. Gary is red. Gary is white. If someone is red then they are blue. If someone is white and not blue then they are not big.
Gary is cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule1))] Anne is furry.[(triple3)] Anne is red.[(triple4)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is not blue.[(triple5)] Bob is not kind.[(triple8)] Bob is not red.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11 OR ((triple15) -> rule1))] Gary is furry.[(triple13)] Gary is not cold.[(triple12)] Gary is not kind.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)]