Fiona is big. Gary is big. Harry is blue. Green, cold people are big. If someone is green and not cold then they are not big. If someone is cold and not red then they are not blue. Furry people are blue. If someone is furry and not red then they are blue. Blue people are green.
Fiona is big.
@0: Fiona is big.[(triple1)] Gary is big.[(triple2)] Harry is blue.[(triple3)] @1: Harry is green.[(((triple3) -> rule6))]