Bob is not big. Bob is blue. Bob is nice. Fiona is big. Fiona is cold. Gary is cold. Gary is kind. If someone is kind and furry then they are blue. If someone is furry and not nice then they are kind. Blue people are kind. If Fiona is cold then Fiona is blue. If Fiona is nice then Fiona is big. If someone is nice and not big then they are white.
Bob is not big.
@0: Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is not big.[(triple1)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] @1: Bob is kind.[(((triple2) -> rule3))] Bob is white.[(((triple3 triple1) -> rule6))] Fiona is blue.[(((triple5) -> rule4))] @2: Fiona is kind.[(((((triple5) -> rule4)) -> rule3))]