Bob is cold. Bob is not green. Bob is not smart. Bob is young. Erin is not green. Erin is round. Erin is young. Fiona is not cold. Fiona is round. Fiona is smart. If Fiona is smart and Fiona is green then Fiona is big. If something is smart then it is green. If Bob is cold and Bob is smart then Bob is not big.
Fiona is green.
@0: Bob is cold.[(triple1)] Bob is not green.[(triple2)] Bob is not smart.[(triple3)] Bob is young.[(triple4)] Erin is not green.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] Fiona is not cold.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is green.[(((triple10) -> rule2))] @2: Fiona is big.[(((triple10 ((triple10) -> rule2)) -> rule1))]