Bob is kind. Bob is smart. Dave is nice. Dave is round. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Gary is nice. Gary is quiet. Big, red people are nice. Quiet people are round.
Bob is not round.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Dave is nice.[(triple3)] Dave is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] @1: Gary is round.[(((triple10) -> rule2))]