Charlie is rough. Erin is rough. Fiona is smart. If Erin is green and Erin is young then Erin is smart. If something is smart and young then it is big. All rough things are big. If something is kind then it is green. All green things are rough. All green things are smart.
Erin is not rough.
@0: Charlie is rough.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is big.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule3))]