Bob is big. Bob is cold. Bob is red. Bob is round. Bob is white. Charlie is cold. Charlie is round. Charlie is white. Charlie is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is white. Fiona is young. All kind, round people are red. If Charlie is cold then Charlie is big.
Bob is young.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13 OR ((triple12 triple14) -> rule1))] Fiona is round.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Charlie is big.[(((triple6) -> rule2))]