Bob is not cold. Bob is green. Bob is nice. Bob is rough. Fiona is not big. Fiona is green. Fiona is not rough. If something is nice then it is furry. If something is rough and cold then it is nice.
Fiona is not nice.
@0: Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not cold.[(triple1)] Bob is rough.[(triple4)] Fiona is green.[(triple6)] Fiona is not big.[(triple5)] Fiona is not rough.[(triple7)] @1: Bob is furry.[(((triple3) -> rule1))]