Charlie is green. Charlie is quiet. Charlie is rough. Charlie is not young. Dave is not rough. Harry is green. Harry is round. If Charlie is quiet and Charlie is not rough then Charlie is nice. If something is round then it is not nice. If something is rough and quiet then it is green. All quiet things are big. If Harry is round and Harry is young then Harry is nice. All big things are round.
Harry is quiet.
@0: Charlie is green.[(triple1 OR ((triple3 triple2) -> rule3))] Charlie is not young.[(triple4)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Dave is not rough.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] @1: Charlie is big.[(((triple2) -> rule4))] Harry is not nice.[(((triple7) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule4)) -> rule6))] @3: Charlie is not nice.[(((((((triple2) -> rule4)) -> rule6)) -> rule2))]