Dave is blue. Dave is furry. Dave is kind. Dave is nice. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Harry is furry. Harry is kind. If someone is kind and nice then they are red. Cold people are kind.
Gary is not quiet.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11 OR ((triple10) -> rule2))] Gary is nice.[(triple12)] Gary is red.[(triple13 OR ((triple11 triple12) -> rule1) OR ((((triple10) -> rule2) triple12) -> rule1))] Harry is furry.[(triple14)] Harry is kind.[(triple15)] @1: Dave is red.[(((triple3 triple4) -> rule1))] Fiona is kind.[(((triple6) -> rule2))] @2: Fiona is red.[(((((triple6) -> rule2) triple8) -> rule1))]