Bob is young. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is young. Big, young things are round. If something is cold then it is white. All white things are round.
Bob is red.
@0: Bob is young.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple7) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Charlie is white.[(triple7 OR ((triple3) -> rule2))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is round.[(((triple8 triple12) -> rule1) OR ((((triple9) -> rule2)) -> rule3))] Fiona is white.[(((triple9) -> rule2))]