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