Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. If someone is nice and not quiet then they are round. If Fiona is cold and Fiona is round then Fiona is big. If someone is cold and not furry then they are not nice. If Fiona is nice and Fiona is not quiet then Fiona is not cold. If someone is nice and round then they are big. All round people are cold. If someone is cold and not big then they are red. If someone is nice and not furry then they are red.
Fiona is furry.
@0: Fiona is big.[(triple1 OR ((triple2 triple7) -> rule2) OR ((triple4 triple7) -> rule5) OR ((((triple7) -> rule6) triple7) -> rule2))] Fiona is cold.[(triple2 OR ((triple7) -> rule6))] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)]