Charlie is big. Charlie is blue. Charlie is cold. Dave is green. Dave is round. Fiona is big. Fiona is cold. Fiona is kind. Fiona is round. Gary is big. Gary is blue. Gary is nice. If Gary is green and Gary is round then Gary is nice. Round people are kind.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8 OR ((triple9) -> rule2))] Fiona is round.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] @1: Dave is kind.[(((triple5) -> rule2))]