Bob is not furry. Bob is nice. Bob is quiet. Bob is round. Bob is white. Fiona is cold. Fiona is not furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Round people are quiet. If someone is furry and smart then they are quiet. If someone is quiet then they are cold.
Fiona is not smart.
@0: Bob is nice.[(triple2)] Bob is not furry.[(triple1)] Bob is quiet.[(triple3 OR ((triple4) -> rule1))] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is cold.[(triple6 OR ((triple9) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Fiona is nice.[(triple8)] Fiona is not furry.[(triple7)] Fiona is quiet.[(triple9 OR ((triple10) -> rule1))] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Bob is cold.[(((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))]