Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Fiona is big. Fiona is kind. Fiona is white. Gary is kind. Harry is big. Harry is furry. Harry is green. Harry is white. Blue people are green.
Fiona is cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4 OR ((triple2) -> rule1))] Fiona is big.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] Gary is kind.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)]