Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is white. All red, furry things are cold. If something is red then it is big. If something is smart and furry then it is red. If something is cold and furry then it is white. If something is furry then it is white. If something is rough and not big then it is white.
Charlie is not rough.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple6 triple3) -> rule3)) -> rule2))] Charlie is cold.[(triple2 OR ((triple4 triple3) -> rule1) OR ((((triple6 triple3) -> rule3) triple3) -> rule1))] Charlie is furry.[(triple3)] Charlie is not rough.[(triple5)] Charlie is red.[(triple4 OR ((triple6 triple3) -> rule3))] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple3) -> rule5) OR ((triple2 triple3) -> rule4) OR ((((triple4 triple3) -> rule1) triple3) -> rule4) OR ((((((triple6 triple3) -> rule3) triple3) -> rule1) triple3) -> rule4))]