Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Dave is big. Dave is blue. Dave is quiet. Harry is not blue. Harry is furry. Harry is green. Harry is white. If Dave is not round then Dave is furry. Green people are quiet. If someone is big and white then they are green. If Dave is green then Dave is big. If someone is green and not round then they are big. If someone is quiet and not big then they are furry.
Charlie is round.
@0: Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple5 triple1) -> rule6) OR ((((triple4) -> rule2) triple1) -> rule6))] Charlie is green.[(triple4)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple5 OR ((triple4) -> rule2))] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is quiet.[(triple8)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is not blue.[(triple9)] Harry is white.[(triple12)] @1: Harry is quiet.[(((triple11) -> rule2))]