Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is not smart. Fiona is young. All smart people are cold. If someone is furry then they are not smart. If Fiona is smart then Fiona is green. If Fiona is quiet and Fiona is furry then Fiona is cold. If someone is furry and not quiet then they are green. If someone is kind and not furry then they are green.
Fiona is green.
@0: Fiona is cold.[(triple1 OR ((triple5 triple2) -> rule4))] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is not smart.[(triple6 OR ((triple2) -> rule2))] Fiona is quiet.[(triple5)] Fiona is young.[(triple7)]