Dave is furry. Dave is kind. Dave is nice. Dave is white. Fiona is not cold. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is nice. Gary is not green. Gary is nice. Gary is white. If Dave is white then Dave is nice. If someone is green then they are cold. If Dave is not furry and Dave is not nice then Dave is red. If someone is cold then they are kind. All furry people are kind. If someone is white then they are red. If someone is kind and not green then they are red. If Gary is not cold then Gary is furry.
Gary is not cold.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule5))] Dave is nice.[(triple3 OR ((triple4) -> rule1))] Dave is white.[(triple4)] Fiona is furry.[(triple6)] Fiona is kind.[(triple8 OR ((triple6) -> rule5))] Fiona is nice.[(triple9)] Fiona is not cold.[(triple5)] Fiona is not green.[(triple7)] Gary is nice.[(triple11)] Gary is not green.[(triple10)] Gary is white.[(triple12)] @1: Dave is red.[(((triple4) -> rule6))] Fiona is red.[(((triple8 triple7) -> rule7) OR ((((triple6) -> rule5) triple7) -> rule7))] Gary is red.[(((triple12) -> rule6))]