Charlie is rough. Dave is green. Fiona is rough. Fiona is smart. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is smart. If Dave is smart and Dave is nice then Dave is red. All big, quiet people are nice.
Charlie is big.
@0: Charlie is rough.[(triple1)] Dave is green.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Gary is nice.[(((triple5 triple7) -> rule2))]