Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Dave is quiet. Dave is not red. Dave is smart. If something is big and not smart then it is red. Red things are quiet. If something is big then it is round.
Dave is not round.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule2))] Charlie is red.[(triple4)] Dave is not red.[(triple6)] Dave is quiet.[(triple5)] Dave is smart.[(triple7)] @1: Charlie is round.[(((triple1) -> rule3))]