Fiona is red. Gary is blue. Harry is not big. If someone is furry and not blue then they are round. If someone is blue then they are big. If someone is big then they are furry. If Gary is round and Gary is furry then Gary is white. If someone is furry and not blue then they are white. If someone is round then they are white. All furry people are red. White people are red.
Gary is blue.
@0: Fiona is red.[(triple1)] Gary is blue.[(triple2)] Harry is not big.[(triple3)] @1: Gary is big.[(((triple2) -> rule2))] @2: Gary is furry.[(((((triple2) -> rule2)) -> rule3))] @3: Gary is red.[(((((((triple2) -> rule2)) -> rule3)) -> rule7))]