Erin is big. Erin is not cold. Erin is young. Fiona is not cold. Fiona is quiet. Fiona is young. Gary is quiet. Gary is smart. Harry is cold. Harry is not furry. Harry is green. Harry is not quiet. If something is quiet then it is furry. If Erin is green and Erin is cold then Erin is smart.
Erin is not furry.
@0: Erin is big.[(triple1)] Erin is not cold.[(triple2)] Erin is young.[(triple3)] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple5)] Fiona is young.[(triple6)] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple11)] Harry is not furry.[(triple10)] Harry is not quiet.[(triple12)] @1: Fiona is furry.[(((triple5) -> rule1))] Gary is furry.[(((triple7) -> rule1))]