Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Bob is young. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Harry is young. All kind, white people are quiet. If Bob is blue and Bob is rough then Bob is quiet. Blue, young people are green.
Harry is green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple1 triple7) -> rule3))] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple5) -> rule2) OR ((triple3 triple6) -> rule1))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9 OR ((triple8 triple14) -> rule3))] Harry is kind.[(triple10)] Harry is quiet.[(triple11 OR ((triple10 triple13) -> rule1))] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]