Bob is furry. Bob is green. Bob is not kind. Bob is red. Bob is not rough. Bob is round. Bob is young. Charlie is round. Fiona is furry. Fiona is green. Fiona is not red. Fiona is rough. Fiona is round. Gary is kind. Gary is red. Gary is round. Round, rough things are kind. Red things are not rough. If Gary is green and Gary is furry then Gary is young. Furry things are green. All young things are green. If Bob is not young and Bob is not rough then Bob is furry.
Bob is young.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule4) OR ((triple7) -> rule5))] Bob is not kind.[(triple3)] Bob is not rough.[(triple5 OR ((triple4) -> rule2))] Bob is red.[(triple4)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((triple9) -> rule4))] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15)] Gary is round.[(triple16)] @1: Fiona is kind.[(((triple13 triple12) -> rule1))] Gary is not rough.[(((triple15) -> rule2))]