Bob is blue. Bob is not green. Bob is round. Bob is not young. Charlie is blue. Charlie is green. Charlie is not kind. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Erin is blue. Erin is not green. Erin is not kind. Erin is not round. If something is quiet and young then it is round. If Bob is kind and Bob is not blue then Bob is young. If Erin is blue then Erin is not white. If Charlie is young and Charlie is not white then Charlie is not kind. Kind things are young. All young things are quiet.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Bob is not young.[(triple4)] Bob is round.[(triple3)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is not kind.[(triple7)] Charlie is quiet.[(triple8 OR ((triple11) -> rule6))] Charlie is round.[(triple9 OR ((triple8 triple11) -> rule1) OR ((((triple11) -> rule6) triple11) -> rule1))] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Erin is blue.[(triple12)] Erin is not green.[(triple13)] Erin is not kind.[(triple14)] Erin is not round.[(triple15)] @1: Erin is not white.[(((triple12) -> rule3))]