Anne is quiet. Bob is blue. Bob is quiet. Bob is white. Fiona is blue. Fiona is white. Gary is blue. Gary is cold. Gary is quiet. Gary is white. If Bob is cold and Bob is red then Bob is kind. All quiet, smart things are blue. All kind things are smart. White things are cold. White, quiet things are red. Cold things are blue.
Anne is not smart.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2 OR ((((triple4) -> rule4)) -> rule6) OR ((triple3 ((((((triple4) -> rule4) ((triple4 triple3) -> rule5)) -> rule1)) -> rule3)) -> rule2))] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Fiona is blue.[(triple5 OR ((((triple6) -> rule4)) -> rule6))] Fiona is white.[(triple6)] Gary is blue.[(triple7 OR ((triple8) -> rule6) OR ((((triple10) -> rule4)) -> rule6))] Gary is cold.[(triple8 OR ((triple10) -> rule4))] Gary is quiet.[(triple9)] Gary is white.[(triple10)] @1: Bob is cold.[(((triple4) -> rule4))] Bob is red.[(((triple4 triple3) -> rule5))] Fiona is cold.[(((triple6) -> rule4))] Gary is red.[(((triple10 triple9) -> rule5))] @2: Bob is kind.[(((((triple4) -> rule4) ((triple4 triple3) -> rule5)) -> rule1))] @3: Bob is smart.[(((((((triple4) -> rule4) ((triple4 triple3) -> rule5)) -> rule1)) -> rule3))]