Fiona is big. Fiona is furry. Fiona is kind. Gary is big. Gary is green. Gary is kind. Gary is round. If Gary is green then Gary is big. All big things are cold. If Fiona is cold and Fiona is kind then Fiona is smart.
Fiona is not round.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Gary is big.[(triple4 OR ((triple5) -> rule1))] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7)] @1: Fiona is cold.[(((triple1) -> rule2))] Gary is cold.[(((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] @2: Fiona is smart.[(((((triple1) -> rule2) triple3) -> rule3))]