Charlie is big. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is smart. Charlie is white. Big people are furry. Big, white people are cold. All nice people are cold. All big, nice people are not cold. All quiet, furry people are white. If Charlie is not nice and Charlie is not quiet then Charlie is white. All nice people are smart. If someone is quiet and not cold then they are not smart.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 triple7) -> rule2) OR ((triple1 ((triple5 triple3) -> rule5)) -> rule2) OR ((triple1 ((triple5 ((triple1) -> rule1)) -> rule5)) -> rule2))] Charlie is furry.[(triple3 OR ((triple1) -> rule1))] Charlie is not nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple1) -> rule1)) -> rule5))]