Charlie is big. Charlie is blue. Charlie is quiet. Charlie is round. Charlie is smart. Dave is blue. Dave is quiet. Dave is round. Harry is big. Harry is green. Harry is round. Harry is white. If Dave is blue then Dave is quiet. If Harry is white then Harry is quiet. If something is big then it is round.
Charlie is blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule3))] Charlie is smart.[(triple5)] Dave is blue.[(triple6)] Dave is quiet.[(triple7 OR ((triple6) -> rule1))] Dave is round.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is round.[(triple11 OR ((triple9) -> rule3))] Harry is white.[(triple12)] @1: Harry is quiet.[(((triple12) -> rule2))]