Fiona is big. Fiona is not green. Fiona is smart. Gary is not big. Gary is not blue. Gary is not furry. Gary is green. Gary is not nice. Gary is not red. Gary is not smart. If Fiona is not big and Fiona is not green then Fiona is not blue. If something is nice and not green then it is not red. If something is furry and smart then it is nice. If something is nice and not blue then it is smart. If something is green and nice then it is smart. All smart things are furry.
Fiona is not red.
@0: Fiona is big.[(triple1)] Fiona is not green.[(triple2)] Fiona is smart.[(triple3)] Gary is green.[(triple7)] Gary is not big.[(triple4)] Gary is not blue.[(triple5)] Gary is not furry.[(triple6)] Gary is not nice.[(triple8)] Gary is not red.[(triple9)] Gary is not smart.[(triple10)] @1: Fiona is furry.[(((triple3) -> rule6))] @2: Fiona is nice.[(((((triple3) -> rule6) triple3) -> rule3))] @3: Fiona is not red.[(((((((triple3) -> rule6) triple3) -> rule3) triple2) -> rule2))]