Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is white. Gary is kind. Harry is blue. Harry is kind. Harry is red. Harry is white. If someone is big and blue then they are smart. All smart, blue people are white.
Gary is big.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5 OR ((((triple1 triple2) -> rule1) triple2) -> rule2))] Gary is kind.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Fiona is smart.[(((triple1 triple2) -> rule1))]