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