Charlie is not big. Charlie is not cold. Charlie is not furry. Charlie is green. Charlie is white. Erin is cold. Erin is rough. Erin is white. Gary is not big. Gary is furry. Gary is rough. Gary is smart. White things are green. If something is white and not smart then it is not green. Green, furry things are not big. Green things are not big. If something is green and not smart then it is not big. If something is furry and not smart then it is not rough. If something is big and not furry then it is not rough. If something is big then it is cold.
Charlie is rough.
@0: Charlie is green.[(triple4 OR ((triple5) -> rule1))] Charlie is not big.[(triple1 OR ((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] Charlie is not cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is rough.[(triple7)] Erin is white.[(triple8)] Gary is furry.[(triple10)] Gary is not big.[(triple9)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Erin is green.[(((triple8) -> rule1))] @2: Erin is not big.[(((((triple8) -> rule1)) -> rule4))]