Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If Charlie is cold then Charlie is young. All cold, blue things are quiet.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple2 triple1) -> rule2))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is young.[(((triple2) -> rule1))]