Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is white. All rough, white people are blue. If Gary is smart then Gary is kind. If someone is white then they are smart. If someone is cold and not rough then they are smart. If Gary is nice then Gary is white. If Gary is white and Gary is not nice then Gary is smart. All nice people are white. All kind people are white.
Gary is not kind.
@0: Gary is blue.[(triple1 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple3) -> rule8)) -> rule1) OR ((triple5 ((triple4) -> rule5)) -> rule1) OR ((triple5 ((triple4) -> rule7)) -> rule1) OR ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule1))] Gary is cold.[(triple2)] Gary is kind.[(triple3 OR ((triple6) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((((triple4) -> rule5)) -> rule3)) -> rule2) OR ((((((triple4) -> rule7)) -> rule3)) -> rule2))] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule3) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] Gary is white.[(triple7 OR ((triple3) -> rule8) OR ((triple4) -> rule5) OR ((triple4) -> rule7) OR ((((triple6) -> rule2)) -> rule8))]