Anne is blue. Anne is kind. Anne is red. Anne is rough. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Smart, kind things are nice. If Fiona is red then Fiona is nice. Blue, rough things are smart. If Fiona is blue and Fiona is white then Fiona is nice. All kind things are blue. Blue, kind things are smart. If something is nice then it is rough. If something is rough and red then it is blue.
Anne is not smart.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple4 triple3) -> rule8))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((((((triple1 triple2) -> rule6) triple2) -> rule1)) -> rule7) OR ((((((((triple2) -> rule5) triple2) -> rule6) triple2) -> rule1)) -> rule7))] Fiona is blue.[(triple5 OR ((triple6) -> rule5))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7 OR ((triple5 triple10) -> rule4) OR ((triple9 triple6) -> rule1) OR ((((triple6) -> rule5) triple10) -> rule4) OR ((((triple5 triple6) -> rule6) triple6) -> rule1) OR ((((triple5 triple8) -> rule3) triple6) -> rule1) OR ((((((triple6) -> rule5) triple6) -> rule6) triple6) -> rule1) OR ((((((triple6) -> rule5) triple8) -> rule3) triple6) -> rule1))] Fiona is rough.[(triple8 OR ((triple7) -> rule7) OR ((((triple5 triple10) -> rule4)) -> rule7) OR ((((triple9 triple6) -> rule1)) -> rule7) OR ((((((triple6) -> rule5) triple10) -> rule4)) -> rule7) OR ((((((triple5 triple6) -> rule6) triple6) -> rule1)) -> rule7) OR ((((((((triple6) -> rule5) triple6) -> rule6) triple6) -> rule1)) -> rule7))] Fiona is smart.[(triple9 OR ((triple5 triple6) -> rule6) OR ((triple5 triple8) -> rule3) OR ((triple5 ((triple7) -> rule7)) -> rule3) OR ((((triple6) -> rule5) triple6) -> rule6) OR ((((triple6) -> rule5) triple8) -> rule3) OR ((((triple6) -> rule5) ((triple7) -> rule7)) -> rule3) OR ((triple5 ((((triple5 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple6) -> rule5) ((((triple5 triple10) -> rule4)) -> rule7)) -> rule3) OR ((triple5 ((((((triple6) -> rule5) triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple6) -> rule5) ((((((triple6) -> rule5) triple10) -> rule4)) -> rule7)) -> rule3))] Fiona is white.[(triple10)] @1: Anne is smart.[(((triple1 triple2) -> rule6) OR ((triple1 triple4) -> rule3) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule5) triple4) -> rule3) OR ((((triple4 triple3) -> rule8) triple2) -> rule6) OR ((((triple4 triple3) -> rule8) triple4) -> rule3))] @2: Anne is nice.[(((((triple1 triple2) -> rule6) triple2) -> rule1) OR ((((triple1 triple4) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule6) triple2) -> rule1) OR ((((((triple2) -> rule5) triple4) -> rule3) triple2) -> rule1) OR ((((((triple4 triple3) -> rule8) triple2) -> rule6) triple2) -> rule1) OR ((((((triple4 triple3) -> rule8) triple4) -> rule3) triple2) -> rule1))]