Anne is furry. Fiona is big. Fiona is furry. Fiona is white. Gary is rough. Harry is big. Harry is smart. All furry things are big. Young things are white.
Fiona is not big.
@0: Anne is furry.[(triple1)] Fiona is big.[(triple2 OR ((triple3) -> rule1))] Fiona is furry.[(triple3)] Fiona is white.[(triple4)] Gary is rough.[(triple5)] Harry is big.[(triple6)] Harry is smart.[(triple7)] @1: Anne is big.[(((triple1) -> rule1))]