Anne is blue. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Bob is big. Charlie is rough. Erin is big. Erin is nice. Erin is young. Quiet, nice things are white. If something is rough then it is quiet. If Bob is white then Bob is young. If Anne is big and Anne is blue then Anne is rough. If Bob is rough and Bob is quiet then Bob is nice. Big things are rough. If Erin is nice and Erin is young then Erin is big.
Bob is not white.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule2))] Anne is rough.[(triple4)] Anne is white.[(triple5 OR ((triple3 triple2) -> rule1) OR ((((triple4) -> rule2) triple2) -> rule1))] Bob is big.[(triple6)] Charlie is rough.[(triple7)] Erin is big.[(triple8 OR ((triple9 triple10) -> rule7))] Erin is nice.[(triple9)] Erin is young.[(triple10)] @1: Bob is rough.[(((triple6) -> rule6))] Charlie is quiet.[(((triple7) -> rule2))] Erin is rough.[(((triple8) -> rule6) OR ((((triple9 triple10) -> rule7)) -> rule6))] @2: Bob is quiet.[(((((triple6) -> rule6)) -> rule2))] Erin is quiet.[(((((triple8) -> rule6)) -> rule2) OR ((((((triple9 triple10) -> rule7)) -> rule6)) -> rule2))] @3: Bob is nice.[(((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5))] Erin is white.[(((((((triple8) -> rule6)) -> rule2) triple9) -> rule1) OR ((((((((triple9 triple10) -> rule7)) -> rule6)) -> rule2) triple9) -> rule1))] @4: Bob is white.[(((((((triple6) -> rule6)) -> rule2) ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5)) -> rule1))] @5: Bob is young.[(((((((((triple6) -> rule6)) -> rule2) ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5)) -> rule1)) -> rule3))]