Anne is big. Anne is cold. Anne is rough. Anne is round. Anne is white. Fiona is round. Fiona is white. If Fiona is white then Fiona is rough. If someone is rough then they are big. All kind people are white. If someone is white and rough then they are kind. If someone is round then they are white. If someone is cold then they are rough. Smart people are round. Big people are smart.
Anne is not white.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Anne is cold.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule6))] Anne is round.[(triple4 OR ((((triple1) -> rule8)) -> rule7) OR ((((((triple3) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7))] Anne is white.[(triple5 OR ((triple4) -> rule5) OR ((((((triple1) -> rule8)) -> rule7)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7)) -> rule5))] Fiona is round.[(triple6 OR ((((((((triple7) -> rule1)) -> rule2)) -> rule8)) -> rule7))] Fiona is white.[(triple7 OR ((triple6) -> rule5))] @1: Anne is kind.[(((triple5 triple3) -> rule4) OR ((triple5 ((triple2) -> rule6)) -> rule4) OR ((((triple4) -> rule5) triple3) -> rule4) OR ((((triple4) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule5) triple3) -> rule4) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule5) triple3) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7)) -> rule5) triple3) -> rule4) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7)) -> rule5) ((triple2) -> rule6)) -> rule4))] Anne is smart.[(((triple1) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((((triple2) -> rule6)) -> rule2)) -> rule8))] Fiona is rough.[(((triple7) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] @2: Fiona is big.[(((((triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1)) -> rule2))] Fiona is kind.[(((triple7 ((triple7) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule4) OR ((triple7 ((((triple6) -> rule5)) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule1)) -> rule4))] @3: Fiona is smart.[(((((((triple7) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule1)) -> rule2)) -> rule8))]