Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is not rough. Anne is round. Anne is smart. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is not rough. Fiona is round. Fiona is not smart. If Fiona is not round and Fiona is not kind then Fiona is smart. Cold, quiet things are not rough. Cold, nice things are not rough. All kind, quiet things are nice. If something is quiet and round then it is nice. If something is round then it is nice. If something is round then it is cold. If Anne is not rough then Anne is smart.
Anne is not quiet.
@0: Anne is cold.[(triple1 OR ((triple6) -> rule7))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule6) OR ((triple2 triple4) -> rule4) OR ((triple4 triple6) -> rule5))] Anne is not rough.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple6) -> rule6)) -> rule3) OR ((triple1 ((triple2 triple4) -> rule4)) -> rule3) OR ((triple1 ((triple4 triple6) -> rule5)) -> rule3) OR ((((triple6) -> rule7) triple3) -> rule3) OR ((((triple6) -> rule7) triple4) -> rule2) OR ((((triple6) -> rule7) ((triple6) -> rule6)) -> rule3) OR ((((triple6) -> rule7) ((triple2 triple4) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple4 triple6) -> rule5)) -> rule3))] Anne is quiet.[(triple4)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple5) -> rule8) OR ((((triple1 triple3) -> rule3)) -> rule8) OR ((((triple1 triple4) -> rule2)) -> rule8) OR ((((triple1 ((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((triple1 ((triple2 triple4) -> rule4)) -> rule3)) -> rule8) OR ((((triple1 ((triple4 triple6) -> rule5)) -> rule3)) -> rule8) OR ((((((triple6) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((triple6) -> rule7) triple4) -> rule2)) -> rule8) OR ((((((triple6) -> rule7) ((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((((triple6) -> rule7) ((triple2 triple4) -> rule4)) -> rule3)) -> rule8) OR ((((((triple6) -> rule7) ((triple4 triple6) -> rule5)) -> rule3)) -> rule8))] Fiona is cold.[(triple8 OR ((triple13) -> rule7))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple13) -> rule6) OR ((triple11 triple13) -> rule5) OR ((triple9 triple11) -> rule4))] Fiona is not rough.[(triple12 OR ((triple8 triple10) -> rule3) OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple13) -> rule6)) -> rule3) OR ((triple8 ((triple11 triple13) -> rule5)) -> rule3) OR ((triple8 ((triple9 triple11) -> rule4)) -> rule3) OR ((((triple13) -> rule7) triple10) -> rule3) OR ((((triple13) -> rule7) triple11) -> rule2) OR ((((triple13) -> rule7) ((triple13) -> rule6)) -> rule3) OR ((((triple13) -> rule7) ((triple11 triple13) -> rule5)) -> rule3) OR ((((triple13) -> rule7) ((triple9 triple11) -> rule4)) -> rule3))] Fiona is not smart.[(triple14)] Fiona is quiet.[(triple11)] Fiona is round.[(triple13)]