Anne is kind. Anne is nice. Anne is quiet. Anne is red. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is young. Charlie is big. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. If Anne is big then Anne is young. If Charlie is quiet and Charlie is not blue then Charlie is red.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is young.[(triple10)] Charlie is big.[(triple11)] Charlie is kind.[(triple12)] Charlie is nice.[(triple13)] Charlie is quiet.[(triple14)] Charlie is red.[(triple15)]