Gary is big. Gary is blue. Gary is cold. Gary is not quiet. Gary is red. Gary is smart. Gary is not young. Big people are red. All big people are red. If someone is red and not cold then they are smart. If Gary is red then Gary is blue. Quiet, red people are not big. All smart people are big. All smart, quiet people are blue. If someone is red and not cold then they are not blue.
Gary is blue.
@0: Gary is big.[(triple1 OR ((triple6) -> rule6))] Gary is blue.[(triple2 OR ((triple5) -> rule4) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((((triple6) -> rule6)) -> rule1)) -> rule4) OR ((((((triple6) -> rule6)) -> rule2)) -> rule4))] Gary is cold.[(triple3)] Gary is not quiet.[(triple4)] Gary is not young.[(triple7)] Gary is red.[(triple5 OR ((triple1) -> rule1) OR ((triple1) -> rule2) OR ((((triple6) -> rule6)) -> rule1) OR ((((triple6) -> rule6)) -> rule2))] Gary is smart.[(triple6)]