Anne is big. Anne is green. Anne is nice. Anne is quiet. Fiona is cold. Fiona is furry. Fiona is nice. If someone is nice then they are round. If someone is round then they are cold. If Anne is quiet then Anne is big. If someone is cold then they are furry. Furry, green people are big. If someone is nice then they are furry.
Fiona is not big.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple3) -> rule6) triple2) -> rule5) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule4) triple2) -> rule5))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Fiona is cold.[(triple5 OR ((((triple7) -> rule1)) -> rule2))] Fiona is furry.[(triple6 OR ((triple5) -> rule4) OR ((triple7) -> rule6) OR ((((((triple7) -> rule1)) -> rule2)) -> rule4))] Fiona is nice.[(triple7)] @1: Anne is furry.[(((triple3) -> rule6) OR ((((((triple3) -> rule1)) -> rule2)) -> rule4))] Anne is round.[(((triple3) -> rule1))] Fiona is round.[(((triple7) -> rule1))] @2: Anne is cold.[(((((triple3) -> rule1)) -> rule2))]