Charlie is green. Fiona is big. Fiona is green. Fiona is kind. Gary is furry. Gary is quiet. Gary is rough. All rough things are quiet. Kind, rough things are blue. All big, green things are rough.
Charlie is big.
@0: Charlie is green.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6 OR ((triple7) -> rule1))] Gary is rough.[(triple7)] @1: Fiona is rough.[(((triple2 triple3) -> rule3))] @2: Fiona is blue.[(((triple4 ((triple2 triple3) -> rule3)) -> rule2))] Fiona is quiet.[(((((triple2 triple3) -> rule3)) -> rule1))]