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