Anne is white. Bob is blue. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is round. Blue things are rough. White things are red.
Anne is blue.
@0: Anne is white.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule1))] Bob is round.[(triple7)] @1: Anne is red.[(((triple1) -> rule2))]