Anne is round. Bob is round. Charlie is red. Fiona is red. All round people are furry. If someone is round and furry then they are not red. Furry people are not red. If someone is round and not red then they are white. If someone is white and red then they are quiet. If someone is round and not white then they are big.
Anne is white.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)] Charlie is red.[(triple3)] Fiona is red.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1))] Bob is furry.[(((triple2) -> rule1))] @2: Anne is not red.[(((((triple1) -> rule1)) -> rule3) OR ((triple1 ((triple1) -> rule1)) -> rule2))] Bob is not red.[(((((triple2) -> rule1)) -> rule3) OR ((triple2 ((triple2) -> rule1)) -> rule2))] @3: Anne is white.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4))] Bob is white.[(((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule4))]