Bob is blue. Bob is furry. Bob is green. Bob is quiet. Charlie is kind. Charlie is young. Gary is quiet. Gary is young. Harry is rough. Harry is young. If Bob is rough then Bob is not young. If Bob is blue and Bob is furry then Bob is kind. If something is furry and young then it is rough. Blue, kind things are rough. All green, rough things are furry. If something is furry and kind then it is blue. If Harry is rough then Harry is not green. If Gary is not green then Gary is blue.
Harry is kind.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Charlie is kind.[(triple5)] Charlie is young.[(triple6)] Gary is quiet.[(triple7)] Gary is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Bob is kind.[(((triple1 triple2) -> rule2))] Harry is not green.[(((triple9) -> rule7))] @2: Bob is rough.[(((triple1 ((triple1 triple2) -> rule2)) -> rule4))] @3: Bob is not young.[(((((triple1 ((triple1 triple2) -> rule2)) -> rule4)) -> rule1))]