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