Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Bob is blue. Bob is nice. Bob is quiet. Bob is white. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is white. Kind people are white. If someone is blue and round then they are kind.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule1))] Bob is blue.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Bob is white.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11 OR ((triple10 triple14) -> rule2))] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple11) -> rule1) OR ((((triple10 triple14) -> rule2)) -> rule1))]