Bob is big. Bob is round. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Dave is blue. Dave is kind. Dave is quiet. Harry is blue. Harry is green. Harry is round. If Bob is quiet and Bob is rough then Bob is green. If something is green and big then it is blue. All green things are blue. If something is blue and green then it is quiet. Green, rough things are blue. Kind, big things are round.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Harry is blue.[(triple10 OR ((triple11) -> rule3))] Harry is green.[(triple11)] Harry is round.[(triple12)] @1: Charlie is blue.[(((triple3) -> rule3) OR ((triple3 triple5) -> rule5))] Harry is quiet.[(((triple10 triple11) -> rule4) OR ((((triple11) -> rule3) triple11) -> rule4))] @2: Charlie is quiet.[(((((triple3) -> rule3) triple3) -> rule4) OR ((((triple3 triple5) -> rule5) triple3) -> rule4))]