Charlie is big. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is round. Harry is white. Harry is young. If something is white and quiet then it is young. White things are green. If Charlie is big and Charlie is round then Charlie is white.
Harry is quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple6) -> rule2) OR ((((triple1 triple5) -> rule3)) -> rule2))] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple1 triple5) -> rule3))] Charlie is young.[(triple7 OR ((triple6 triple4) -> rule1) OR ((((triple1 triple5) -> rule3) triple4) -> rule1))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10 OR ((triple13) -> rule2))] Harry is quiet.[(triple11)] Harry is round.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple13 triple11) -> rule1))]