Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is not rough. Charlie is not round. Charlie is smart. If something is nice and red then it is kind. If something is big then it is kind. If something is big then it is not rough. If something is smart then it is not rough. If something is smart then it is nice. If Charlie is round then Charlie is nice. If Charlie is kind and Charlie is not smart then Charlie is not rough. If Charlie is nice and Charlie is round then Charlie is not rough.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple1) -> rule2) OR ((triple3 triple4) -> rule1) OR ((((triple7) -> rule5) triple4) -> rule1))] Charlie is nice.[(triple3 OR ((triple7) -> rule5))] Charlie is not rough.[(triple5 OR ((triple1) -> rule3) OR ((triple7) -> rule4))] Charlie is not round.[(triple6)] Charlie is red.[(triple4)] Charlie is smart.[(triple7)]