Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Bob is young. Erin is green. Erin is nice. Erin is quiet. Erin is not rough. Erin is round. Erin is white. Erin is not young. All white, young people are rough. Rough, young people are round. If someone is green and young then they are round. All nice people are green. If someone is round and not white then they are not quiet. All green, rough people are nice.
Bob is not quiet.
@0: Bob is green.[(triple1 OR ((triple2) -> rule4))] Bob is nice.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple6 triple7) -> rule1)) -> rule6))] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple6 triple7) -> rule1))] Bob is round.[(triple5 OR ((triple1 triple7) -> rule3) OR ((triple4 triple7) -> rule2) OR ((((triple2) -> rule4) triple7) -> rule3) OR ((((triple6 triple7) -> rule1) triple7) -> rule2))] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is green.[(triple8 OR ((triple9) -> rule4))] Erin is nice.[(triple9)] Erin is not rough.[(triple11)] Erin is not young.[(triple14)] Erin is quiet.[(triple10)] Erin is round.[(triple12)] Erin is white.[(triple13)]