Charlie is blue. Charlie is cold. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Fiona is kind. Fiona is red. Fiona is smart. Harry is green. Harry is kind. Harry is red. If Harry is cold then Harry is green. All quiet people are red. If someone is kind then they are quiet.
Charlie is quiet.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is quiet.[(triple7 OR ((triple6) -> rule3))] Dave is red.[(triple8 OR ((triple7) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] Dave is smart.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11 OR ((((triple10) -> rule3)) -> rule2))] Fiona is smart.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15 OR ((((triple14) -> rule3)) -> rule2))] @1: Fiona is quiet.[(((triple10) -> rule3))] Harry is quiet.[(((triple14) -> rule3))]