Bob is cold. Bob is not green. Bob is not kind. Bob is not quiet. Bob is rough. Bob is round. Bob is white. Dave is cold. Dave is quiet. Fiona is cold. Fiona is quiet. Fiona is not round. Kind things are not white. All rough things are white. Quiet things are white. All kind, quiet things are cold. If something is round and not rough then it is cold. If Fiona is green and Fiona is not quiet then Fiona is round. If something is round and quiet then it is not kind. If something is green and white then it is round.
Fiona is green.
@0: Bob is cold.[(triple1)] Bob is not green.[(triple2)] Bob is not kind.[(triple3)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule2))] Dave is cold.[(triple8)] Dave is quiet.[(triple9)] Fiona is cold.[(triple10)] Fiona is not round.[(triple12)] Fiona is quiet.[(triple11)] @1: Dave is white.[(((triple9) -> rule3))] Fiona is white.[(((triple11) -> rule3))]