Bob is furry. Bob is red. Fiona is cold. Fiona is green. Fiona is nice. Gary is cold. Gary is furry. Gary is green. Gary is not kind. Gary is not red. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is young. All green things are young. If Gary is red then Gary is not nice.
Gary is not furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is not kind.[(triple9)] Gary is not red.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16 OR ((triple13) -> rule1))] @1: Fiona is young.[(((triple4) -> rule1))] Gary is young.[(((triple8) -> rule1))]