Anne is rough. Anne is white. Bob is smart. Bob is white. Bob is young. Charlie is green. Charlie is red. Charlie is white. Erin is green. Erin is rough. If someone is white and smart then they are rough. If Anne is blue and Anne is young then Anne is rough. Smart people are white. If someone is smart then they are rough. Young people are rough. If someone is smart and blue then they are rough. If Charlie is green then Charlie is young. All blue people are young.
Erin is not white.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule3))] Bob is young.[(triple5)] Charlie is green.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Erin is green.[(triple9)] Erin is rough.[(triple10)] @1: Bob is rough.[(((triple3) -> rule4) OR ((triple5) -> rule5) OR ((triple4 triple3) -> rule1) OR ((((triple3) -> rule3) triple3) -> rule1))] Charlie is young.[(((triple6) -> rule7))] @2: Charlie is rough.[(((((triple6) -> rule7)) -> rule5))]