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