Gary is big. Gary is kind. Gary is young. All cold, quiet things are young. Cold, young things are kind. Kind, quiet things are big. If Gary is big then Gary is cold. Cold, big things are kind. If Gary is big and Gary is cold then Gary is young. If Gary is young then Gary is kind. If something is cold then it is nice.
Gary is kind.
@0: Gary is big.[(triple1)] Gary is kind.[(triple2 OR ((triple3) -> rule7) OR ((((triple1) -> rule4) triple1) -> rule5) OR ((((triple1) -> rule4) triple3) -> rule2) OR ((((triple1 ((triple1) -> rule4)) -> rule6)) -> rule7) OR ((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule2))] Gary is young.[(triple3 OR ((triple1 ((triple1) -> rule4)) -> rule6))] @1: Gary is cold.[(((triple1) -> rule4))] @2: Gary is nice.[(((((triple1) -> rule4)) -> rule8))]