Bob is furry. Erin is cold. Erin is kind. Erin is nice. Erin is white. Fiona is nice. Gary is cold. If someone is young and furry then they are white. If someone is white and nice then they are kind.
Fiona is cold.
@0: Bob is furry.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3 OR ((triple5 triple4) -> rule2))] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is nice.[(triple6)] Gary is cold.[(triple7)]