Bob is red. Charlie is white. Fiona is quiet. If someone is red then they are nice. If someone is cold and white then they are nice. If someone is furry and not big then they are cold. If Bob is cold and Bob is quiet then Bob is red. If Bob is red and Bob is not big then Bob is not quiet. If Bob is quiet then Bob is nice.
Fiona is big.
@0: Bob is red.[(triple1)] Charlie is white.[(triple2)] Fiona is quiet.[(triple3)] @1: Bob is nice.[(((triple1) -> rule1))]