Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is young. Gary is kind. Gary is smart. Gary is young. Harry is furry. Harry is green. Harry is quiet. Harry is round. Harry is smart. Harry is young. If someone is kind then they are young. If Bob is young and Bob is green then Bob is smart. If someone is round then they are furry.
Bob is young.
@0: Bob is furry.[(triple1 OR ((triple5) -> rule3))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple7 triple2) -> rule2) OR ((((triple3) -> rule1) triple2) -> rule2))] Bob is young.[(triple7 OR ((triple3) -> rule1))] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple8) -> rule1))] Harry is furry.[(triple11 OR ((triple14) -> rule3))] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)]