Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Fiona is kind. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is nice. If Fiona is quiet then Fiona is furry. If someone is quiet then they are green. If Harry is quiet and Harry is green then Harry is nice.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple6) -> rule2))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Fiona is kind.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)]