Bob is blue. Bob is young. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. Gary is rough. Gary is not white. Gary is young. If someone is round and not white then they are not blue. If someone is white and red then they are blue. Rough people are round. All round people are red. If someone is red then they are quiet. If someone is rough and not red then they are young. If someone is round and not blue then they are young. Blue, white people are young.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is quiet.[(triple4 OR ((((triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule3)) -> rule4)) -> rule5))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule3))] Charlie is young.[(triple7)] Gary is not white.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple10 OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple9) -> rule1)) -> rule7))] @1: Charlie is red.[(((triple6) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] Gary is round.[(((triple8) -> rule3))] @2: Gary is not blue.[(((((triple8) -> rule3) triple9) -> rule1))] Gary is red.[(((((triple8) -> rule3)) -> rule4))] @3: Gary is quiet.[(((((((triple8) -> rule3)) -> rule4)) -> rule5))]