Bob is nice. Bob is quiet. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Gary is quiet. All quiet, rough people are kind. All rough people are kind. Rough people are nice. If Bob is rough then Bob is nice. If someone is kind and quiet then they are nice. Nice people are rough.
Bob is kind.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Charlie is nice.[(triple4 OR ((triple5) -> rule3))] Charlie is rough.[(triple5 OR ((triple4) -> rule6))] Charlie is white.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is rough.[(((triple1) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule2) OR ((triple2 ((triple1) -> rule6)) -> rule1))]