Anne is big. Anne is cold. Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is smart. Harry is big. Harry is cold. Harry is quiet. If Anne is kind then Anne is quiet. Nice, white things are cold. Nice things are white. All white, nice things are kind. All kind things are smart. Smart, cold things are white. White, cold things are nice. If something is smart then it is cold.
Harry is not kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple7) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((triple6 ((triple6) -> rule3)) -> rule2) OR ((((((((triple6) -> rule3) triple6) -> rule4)) -> rule5)) -> rule8))] Fiona is kind.[(triple5 OR ((((triple6) -> rule3) triple6) -> rule4) OR ((((triple7 triple4) -> rule6) triple6) -> rule4) OR ((((triple7 ((triple7) -> rule8)) -> rule6) triple6) -> rule4) OR ((((triple6) -> rule3) ((((triple7 triple4) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple7 triple4) -> rule6) ((((triple7 triple4) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple6) -> rule3) ((((triple7 triple4) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7 triple4) -> rule6) ((((triple7 triple4) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((((triple7 triple4) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((((triple7 triple4) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple6) -> rule3) ((((triple7 ((triple7) -> rule8)) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple7 triple4) -> rule6) ((((triple7 ((triple7) -> rule8)) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple6) -> rule3) ((((triple7 ((triple7) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7 triple4) -> rule6) ((((triple7 ((triple7) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((((triple7 ((triple7) -> rule8)) -> rule6) triple4) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((((triple7 ((triple7) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7)) -> rule4))] Fiona is nice.[(triple6 OR ((((triple7 triple4) -> rule6) triple4) -> rule7) OR ((((triple7 triple4) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((triple7 ((triple7) -> rule8)) -> rule6) triple4) -> rule7) OR ((((((triple5) -> rule5) triple4) -> rule6) triple4) -> rule7) OR ((((triple7 triple4) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) triple4) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((triple7) -> rule8)) -> rule6) triple4) -> rule7) OR ((((triple7 ((triple7) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) triple4) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((triple7) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((triple7) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7) OR ((((triple7 ((((triple5) -> rule5)) -> rule8)) -> rule6) triple4) -> rule7) OR ((((triple7 ((((triple5) -> rule5)) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule6) triple4) -> rule7) OR ((((triple7 ((((triple5) -> rule5)) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule6) ((triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule6) ((((triple5) -> rule5)) -> rule8)) -> rule7))] Fiona is smart.[(triple7 OR ((triple5) -> rule5) OR ((((((triple6) -> rule3) triple6) -> rule4)) -> rule5))] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Fiona is white.[(((triple6) -> rule3) OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple7) -> rule8)) -> rule6) OR ((((triple5) -> rule5) triple4) -> rule6) OR ((((triple5) -> rule5) ((triple7) -> rule8)) -> rule6) OR ((triple7 ((((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule6))]