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