Bob is big. Charlie is white. Erin is young. Fiona is young. If someone is round then they are big. Kind, round people are rough. If Erin is young and Erin is rough then Erin is round. If Bob is young and Bob is white then Bob is big. If someone is white then they are young. If someone is kind and young then they are white. If someone is young and cold then they are white. All cold people are young.
Fiona is not young.
@0: Bob is big.[(triple1)] Charlie is white.[(triple2)] Erin is young.[(triple3)] Fiona is young.[(triple4)] @1: Charlie is young.[(((triple2) -> rule5))]