Bob is big. Bob is cold. Bob is red. Bob is not round. Bob is smart. Bob is white. Charlie is cold. Charlie is red. Charlie is not round. Charlie is smart. Charlie is white. Fiona is big. Fiona is cold. Fiona is not quiet. Fiona is smart. Fiona is white. Big people are not quiet. If someone is smart and not cold then they are not red.
Fiona is round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is not round.[(triple4)] Bob is red.[(triple3)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is not round.[(triple9)] Charlie is red.[(triple8)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is not quiet.[(triple14 OR ((triple12) -> rule1))] Fiona is smart.[(triple15)] Fiona is white.[(triple16)] @1: Bob is not quiet.[(((triple1) -> rule1))]