Anne is cold. Anne is furry. Anne is not green. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Bob is green. Bob is quiet. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is not smart. If Bob is cold then Bob is quiet. If Fiona is round then Fiona is cold. Cold things are round.
Fiona is round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule3))] Anne is smart.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Fiona is cold.[(triple10 OR ((triple14) -> rule2))] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple13)] Fiona is round.[(triple14 OR ((triple10) -> rule3))]