Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is white. Gary is young. All rough, furry people are big. If Gary is furry then Gary is big. If Gary is rough then Gary is cold. White people are young. If someone is kind then they are rough. If Gary is young and Gary is kind then Gary is rough.
Gary is not big.
@0: Gary is big.[(triple1 OR ((triple3) -> rule2) OR ((triple5 triple3) -> rule1) OR ((((triple4) -> rule5) triple3) -> rule1) OR ((((triple7 triple4) -> rule6) triple3) -> rule1) OR ((((((triple6) -> rule4) triple4) -> rule6) triple3) -> rule1))] Gary is cold.[(triple2 OR ((triple5) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple7 triple4) -> rule6)) -> rule3) OR ((((((triple6) -> rule4) triple4) -> rule6)) -> rule3))] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is rough.[(triple5 OR ((triple4) -> rule5) OR ((triple7 triple4) -> rule6) OR ((((triple6) -> rule4) triple4) -> rule6))] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule4))]