Bob is kind. Bob is quiet. Bob is round. Bob is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is white. Fiona is cold. Fiona is kind. Fiona is quiet. If Charlie is round then Charlie is cold. All quiet, kind people are blue. If someone is blue then they are white. If someone is blue then they are quiet. If someone is white and kind then they are cold. Kind, young people are quiet.
Bob is not white.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2 OR ((triple1 triple4) -> rule6))] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5 OR ((triple8 triple7) -> rule2))] Charlie is cold.[(triple6 OR ((triple9 triple7) -> rule5) OR ((((triple5) -> rule3) triple7) -> rule5) OR ((((((triple8 triple7) -> rule2)) -> rule3) triple7) -> rule5))] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8 OR ((triple5) -> rule4))] Charlie is white.[(triple9 OR ((triple5) -> rule3) OR ((((triple8 triple7) -> rule2)) -> rule3))] Fiona is cold.[(triple10 OR ((((((triple12 triple11) -> rule2)) -> rule3) triple11) -> rule5))] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] @1: Bob is blue.[(((triple2 triple1) -> rule2) OR ((((triple1 triple4) -> rule6) triple1) -> rule2))] Fiona is blue.[(((triple12 triple11) -> rule2))] @2: Bob is white.[(((((triple2 triple1) -> rule2)) -> rule3) OR ((((((triple1 triple4) -> rule6) triple1) -> rule2)) -> rule3))] Fiona is white.[(((((triple12 triple11) -> rule2)) -> rule3))] @3: Bob is cold.[(((((((triple2 triple1) -> rule2)) -> rule3) triple1) -> rule5) OR ((((((((triple1 triple4) -> rule6) triple1) -> rule2)) -> rule3) triple1) -> rule5))]