Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is smart. Gary is white. Smart things are kind. If something is white and cold then it is kind. If something is big then it is kind. If something is cold and smart then it is furry. If something is blue then it is white. If Gary is kind then Gary is big. If Gary is smart and Gary is cold then Gary is furry. All cold things are white.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple5) -> rule6) OR ((((triple6) -> rule1)) -> rule6) OR ((((triple7 triple3) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule2)) -> rule6))] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4 OR ((triple3 triple6) -> rule4) OR ((triple6 triple3) -> rule7))] Gary is kind.[(triple5 OR ((triple1) -> rule3) OR ((triple6) -> rule1) OR ((triple7 triple3) -> rule2) OR ((((triple2) -> rule5) triple3) -> rule2) OR ((((triple3) -> rule8) triple3) -> rule2))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple2) -> rule5) OR ((triple3) -> rule8))]