Anne is cold. Bob is rough. Fiona is rough. All rough things are white. If something is white then it is nice. If Bob is nice and Bob is green then Bob is cold. White things are blue. Cold, green things are quiet. If Bob is white and Bob is nice then Bob is blue. If something is nice and blue then it is white. If something is blue then it is quiet.
Fiona is quiet.
@0: Anne is cold.[(triple1)] Bob is rough.[(triple2)] Fiona is rough.[(triple3)] @1: Bob is white.[(((triple2) -> rule1))] Fiona is white.[(((triple3) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6))] Bob is nice.[(((((triple2) -> rule1)) -> rule2))] Fiona is blue.[(((((triple3) -> rule1)) -> rule4))] Fiona is nice.[(((((triple3) -> rule1)) -> rule2))] @3: Bob is quiet.[(((((((triple2) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule8))] Fiona is quiet.[(((((((triple3) -> rule1)) -> rule4)) -> rule8))]