Anne is not big. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Bob is blue. Bob is green. Bob is rough. Bob is not white. Gary is blue. Gary is green. Gary is rough. Gary is white. Harry is kind. Harry is quiet. Harry is rough. Green things are kind. If Harry is kind then Harry is white. All quiet things are rough. All big things are rough. All rough, big things are not white. Blue, quiet things are white. All big things are blue. If Harry is green then Harry is big.
Bob is quiet.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1))] Anne is not big.[(triple1)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple4) -> rule3))] Bob is blue.[(triple6)] Bob is green.[(triple7)] Bob is not white.[(triple9)] Bob is rough.[(triple8)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] Gary is white.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16 OR ((triple15) -> rule3))] @1: Bob is kind.[(((triple7) -> rule1))] Gary is kind.[(((triple11) -> rule1))] Harry is white.[(((triple14) -> rule2))]