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