Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is young. Fiona is furry. Fiona is not quiet. Fiona is not red. Fiona is rough. Fiona is smart. If Fiona is red and Fiona is smart then Fiona is furry. All cold people are furry. If someone is quiet and red then they are cold. If Anne is not cold then Anne is not smart. If someone is quiet then they are rough. All smart people are rough.
Fiona is young.
@0: Anne is cold.[(triple1 OR ((triple3 triple4) -> rule3))] Anne is furry.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 triple4) -> rule3)) -> rule2))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule5) OR ((triple6) -> rule6))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not red.[(triple10)] Fiona is rough.[(triple11 OR ((triple12) -> rule6))] Fiona is smart.[(triple12)]