Anne is big. Anne is cold. Anne is green. Anne is red. Anne is round. Anne is smart. Anne is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is round. Fiona is smart. If something is big then it is young. If Anne is cold and Anne is round then Anne is young. If something is round then it is big. All red, round things are young. If Fiona is smart then Fiona is round. Red, round things are green.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple5) -> rule3))] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple5) -> rule6))] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule1) OR ((triple2 triple5) -> rule2) OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule3)) -> rule1))] Fiona is big.[(triple8 OR ((triple11) -> rule3) OR ((((triple12) -> rule5)) -> rule3))] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is round.[(triple11 OR ((triple12) -> rule5))] Fiona is smart.[(triple12)] @1: Fiona is young.[(((triple8) -> rule1) OR ((((triple11) -> rule3)) -> rule1) OR ((((((triple12) -> rule5)) -> rule3)) -> rule1))]