Bob is nice. Bob is red. Bob is young. Charlie is furry. Fiona is not smart. Gary is furry. Gary is nice. If Charlie is kind and Charlie is not smart then Charlie is young. If Fiona is not smart then Fiona is not young.
Bob is not young.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Fiona is not smart.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is not young.[(((triple5) -> rule2))]