Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Fiona is cold. Fiona is furry. Fiona is red. Fiona is round. Fiona is smart. Harry is cold. Harry is quiet. Harry is red. Harry is round. If Fiona is red and Fiona is kind then Fiona is furry. If Dave is round and Dave is cold then Dave is red. Red, quiet people are kind.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple5 triple4) -> rule3) OR ((((triple6 triple1) -> rule2) triple4) -> rule3))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple6 triple1) -> rule2))] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Harry is cold.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Harry is kind.[(((triple15 triple14) -> rule3))]