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