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