Fiona is big. Fiona is kind. Fiona is nice. Gary is big. Gary is kind. Gary is rough. Gary is round. Round, red people are rough. All kind, big people are young. If Fiona is young then Fiona is rough.
Gary is big.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4)] Gary is kind.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Fiona is young.[(((triple2 triple1) -> rule2))] Gary is young.[(((triple5 triple4) -> rule2))] @2: Fiona is rough.[(((((triple2 triple1) -> rule2)) -> rule3))]