Charlie is furry. Charlie is green. Charlie is not kind. Charlie is young. Fiona is cold. Fiona is green. Fiona is nice. Fiona is young. Harry is green. Harry is kind. If something is green and not furry then it is not big. All green things are big.
Charlie is not cold.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is not kind.[(triple3)] Charlie is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is young.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] @1: Charlie is big.[(((triple2) -> rule2))] Fiona is big.[(((triple6) -> rule2))] Harry is big.[(((triple9) -> rule2))]