Bob is cold. Fiona is big. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is not round. Gary is furry. Harry is big. Harry is not cold. Harry is green. If someone is rough then they are furry. If someone is cold and not green then they are not furry. If someone is nice and not green then they are cold.
Gary is rough.
@0: Bob is cold.[(triple1)] Fiona is big.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is not round.[(triple6)] Fiona is rough.[(triple5)] Gary is furry.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple10)] Harry is not cold.[(triple9)] @1: Fiona is furry.[(((triple5) -> rule1))]