Bob is blue. Bob is not green. Bob is not kind. Bob is quiet. Bob is not round. Bob is white. Bob is young. Gary is kind. Gary is quiet. Gary is round. If someone is white and green then they are blue. All quiet, round people are kind. White, blue people are not kind. If someone is quiet then they are young. Quiet people are young. If someone is kind and green then they are not round. If someone is round and young then they are not green. White, kind people are quiet.
Gary is white.
@0: Bob is blue.[(triple1)] Bob is not green.[(triple2)] Bob is not kind.[(triple3 OR ((triple6 triple1) -> rule3))] Bob is not round.[(triple5)] Bob is quiet.[(triple4)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] Gary is kind.[(triple8 OR ((triple9 triple10) -> rule2))] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Gary is young.[(((triple9) -> rule4) OR ((triple9) -> rule5))] @2: Gary is not green.[(((triple10 ((triple9) -> rule4)) -> rule7) OR ((triple10 ((triple9) -> rule5)) -> rule7))]