Anne is big. Anne is not blue. Anne is not furry. Anne is kind. Anne is red. Anne is rough. Anne is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Furry things are blue. If something is rough and not furry then it is kind. If something is smart and not red then it is not kind. If something is smart and big then it is kind. Rough, blue things are smart. All red things are smart. All furry things are smart. If Anne is not red then Anne is blue.
Anne is red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple4 OR ((triple6 triple3) -> rule2) OR ((triple7 triple1) -> rule4) OR ((((triple5) -> rule6) triple1) -> rule4))] Anne is not blue.[(triple2)] Anne is not furry.[(triple3)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7 OR ((triple5) -> rule6))] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule1))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11 OR ((triple14 triple8) -> rule4) OR ((((triple10) -> rule7) triple8) -> rule4) OR ((((triple12) -> rule6) triple8) -> rule4) OR ((((triple13 triple9) -> rule5) triple8) -> rule4) OR ((((triple13 ((triple10) -> rule1)) -> rule5) triple8) -> rule4))] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14 OR ((triple10) -> rule7) OR ((triple12) -> rule6) OR ((triple13 triple9) -> rule5) OR ((triple13 ((triple10) -> rule1)) -> rule5))]