Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. If Charlie is green and Charlie is nice then Charlie is big.
Charlie is not blue.
@0: Charlie is big.[(triple1 OR ((triple4 triple5) -> rule1))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)]