Fiona is big. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is young. Gary is big. Gary is white. All kind things are young. All kind things are blue. All smart things are white.
Gary is not big.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is smart.[(triple4)] Fiona is young.[(triple5 OR ((triple3) -> rule1))] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Fiona is blue.[(((triple3) -> rule2))] Fiona is white.[(((triple4) -> rule3))]