Charlie is big. Charlie is cold. Charlie is rough. Charlie is smart. Charlie is white. Fiona is rough. Fiona is young. If something is cold and rough then it is furry. If Fiona is white and Fiona is big then Fiona is young.
Fiona is not young.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is furry.[(((triple2 triple3) -> rule1))]