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