Anne is big. Anne is rough. Anne is young. Bob is quiet. Bob is red. Bob is rough. Bob is white. Erin is not white. Fiona is red. Fiona is white. If something is rough then it is young. If something is big then it is white.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3 OR ((triple2) -> rule1))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7)] Erin is not white.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10)] @1: Anne is white.[(((triple1) -> rule2))] Bob is young.[(((triple6) -> rule1))]