Bob is big. Bob is cold. Bob is young. Green people are red. If Bob is red and Bob is not cold then Bob is round.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is young.[(triple3)]