Anne is nice. Dave is kind. Fiona is big. Gary is smart. All young, round people are green. If someone is young then they are round. Green people are round. If someone is young and green then they are nice. If someone is green then they are nice. Green, kind people are young.
Anne is nice.
@0: Anne is nice.[(triple1)] Dave is kind.[(triple2)] Fiona is big.[(triple3)] Gary is smart.[(triple4)]