Bob is cold. Bob is furry. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. Harry is quiet. Harry is red. Harry is rough. Young, quiet people are kind. If someone is rough and not quiet then they are cold. All kind people are young. If Bob is young and Bob is not cold then Bob is furry. If someone is quiet then they are red. If someone is young and not furry then they are red.
Fiona is not quiet.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple8) -> rule5))] Harry is rough.[(triple10)] @1: Fiona is kind.[(((triple7 triple5) -> rule1))] Fiona is red.[(((triple5) -> rule5))]