Dave is not nice. Dave is white. Fiona is big. Fiona is furry. Fiona is not nice. Fiona is red. Fiona is white. Harry is not cold. Harry is nice. Harry is not quiet. All quiet things are furry. All nice, big things are white. If something is big and furry then it is white. If something is cold then it is white. Red things are big. If something is furry and not quiet then it is cold. If Dave is not quiet then Dave is furry. If Fiona is not big then Fiona is white.
Fiona is not red.
@0: Dave is not nice.[(triple1)] Dave is white.[(triple2)] Fiona is big.[(triple3 OR ((triple6) -> rule5))] Fiona is furry.[(triple4)] Fiona is not nice.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((triple3 triple4) -> rule3) OR ((((triple6) -> rule5) triple4) -> rule3))] Harry is nice.[(triple9)] Harry is not cold.[(triple8)] Harry is not quiet.[(triple10)]