Charlie is big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Nice things are big. All smart things are cold. If something is quiet then it is cold. If something is cold then it is smart. Quiet things are furry. If something is cold then it is big. Smart, big things are cold. All smart, nice things are round.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6) OR ((triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Charlie is cold.[(triple2 OR ((triple5) -> rule3) OR ((triple7) -> rule2) OR ((triple7 triple1) -> rule7) OR ((triple7 ((triple4) -> rule1)) -> rule7))] Charlie is furry.[(triple3 OR ((triple5) -> rule5))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is round.[(triple6 OR ((triple7 triple4) -> rule8) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((((triple5) -> rule3)) -> rule4) triple4) -> rule8))] Charlie is smart.[(triple7 OR ((triple2) -> rule4) OR ((((triple5) -> rule3)) -> rule4))]