Fiona is green. Fiona is red. Fiona is young. Harry is not kind. Harry is red. Harry is white. Harry is not young. If something is cold then it is red. If something is young then it is big.
Fiona is cold.
@0: Fiona is green.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] Harry is not kind.[(triple4)] Harry is not young.[(triple7)] Harry is red.[(triple5)] Harry is white.[(triple6)] @1: Fiona is big.[(((triple3) -> rule2))]