Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. All cold things are furry. If something is young and nice then it is round. Young, round things are nice.
Gary is not furry.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2 OR ((triple1) -> rule1))] Gary is nice.[(triple3 OR ((triple7 triple5) -> rule3))] Gary is quiet.[(triple4)] Gary is round.[(triple5 OR ((triple7 triple3) -> rule2))] Gary is white.[(triple6)] Gary is young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple8) -> rule1))] Harry is nice.[(triple10 OR ((triple14 triple12) -> rule3))] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((triple14 triple10) -> rule2))] Harry is white.[(triple13)] Harry is young.[(triple14)]