Bob is green. Bob is quiet. Bob is not white. Erin is not green. Erin is nice. Fiona is smart. Harry is cold. If something is cold then it is green. If Fiona is nice then Fiona is quiet. If Erin is green then Erin is quiet. If something is green then it is quiet. All quiet, white things are rough. All rough things are white. If something is cold and quiet then it is white. If something is rough and not green then it is not white.
Harry is quiet.
@0: Bob is green.[(triple1)] Bob is not white.[(triple3)] Bob is quiet.[(triple2 OR ((triple1) -> rule4))] Erin is nice.[(triple5)] Erin is not green.[(triple4)] Fiona is smart.[(triple6)] Harry is cold.[(triple7)] @1: Harry is green.[(((triple7) -> rule1))] @2: Harry is quiet.[(((((triple7) -> rule1)) -> rule4))] @3: Harry is white.[(((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7))] @4: Harry is rough.[(((((((triple7) -> rule1)) -> rule4) ((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule5))]