Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is white. Gary is young. Kind people are white. If someone is blue and furry then they are big. All young, blue people are furry. If Gary is big and Gary is young then Gary is blue. All young, furry people are white. All furry, young people are big.
Gary is not cold.
@0: Gary is big.[(triple1 OR ((triple2 triple4) -> rule2) OR ((triple4 triple7) -> rule6) OR ((triple2 ((triple7 triple2) -> rule3)) -> rule2) OR ((((triple7 triple2) -> rule3) triple7) -> rule6))] Gary is blue.[(triple2 OR ((triple1 triple7) -> rule4) OR ((((triple4 triple7) -> rule6) triple7) -> rule4))] Gary is cold.[(triple3)] Gary is furry.[(triple4 OR ((triple7 triple2) -> rule3) OR ((triple7 ((triple1 triple7) -> rule4)) -> rule3))] Gary is kind.[(triple5)] Gary is white.[(triple6 OR ((triple5) -> rule1) OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple7 triple2) -> rule3)) -> rule5) OR ((triple7 ((triple7 ((triple1 triple7) -> rule4)) -> rule3)) -> rule5))] Gary is young.[(triple7)]