Charlie is kind. Charlie is nice. Charlie is white. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. If Charlie is white then Charlie is blue.
Charlie is round.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is blue.[(((triple3) -> rule1))]