Bob is not green. Dave is quiet. Fiona is cold. Fiona is nice. Fiona is not quiet. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is white. If Fiona is not quiet then Fiona is not young. All cold things are white. Quiet things are white. If something is young and not cold then it is nice. If something is white and quiet then it is nice. If Bob is blue and Bob is nice then Bob is quiet. If Fiona is young and Fiona is not green then Fiona is white. If something is nice and quiet then it is not young.
Harry is cold.
@0: Bob is not green.[(triple1)] Dave is quiet.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is not quiet.[(triple5)] Harry is blue.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8 OR ((triple10 triple9) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule5))] Harry is quiet.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule3))] @1: Dave is white.[(((triple2) -> rule3))] Fiona is not young.[(((triple5) -> rule1))] Fiona is white.[(((triple3) -> rule2))] Harry is not young.[(((triple8 triple9) -> rule8) OR ((((triple10 triple9) -> rule5) triple9) -> rule8) OR ((((((triple9) -> rule3) triple9) -> rule5) triple9) -> rule8))] @2: Dave is nice.[(((((triple2) -> rule3) triple2) -> rule5))] @3: Dave is not young.[(((((((triple2) -> rule3) triple2) -> rule5) triple2) -> rule8))]