Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Bob is green. Bob is kind. Bob is quiet. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. If something is quiet and round then it is nice. All cold things are quiet. Nice things are kind.
Charlie is not nice.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule3))] Anne is nice.[(triple4)] Anne is red.[(triple5)] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Charlie is cold.[(triple9)] Charlie is green.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12)] Fiona is cold.[(triple13)] Fiona is kind.[(triple14 OR ((triple15) -> rule3) OR ((((((triple13) -> rule2) triple16) -> rule1)) -> rule3))] Fiona is nice.[(triple15 OR ((((triple13) -> rule2) triple16) -> rule1))] Fiona is round.[(triple16)] @1: Anne is quiet.[(((triple1) -> rule2))] Charlie is quiet.[(((triple9) -> rule2))] Fiona is quiet.[(((triple13) -> rule2))] @2: Charlie is nice.[(((((triple9) -> rule2) triple12) -> rule1))] @3: Charlie is kind.[(((((((triple9) -> rule2) triple12) -> rule1)) -> rule3))]