Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is white. Anne is young. Bob is big. Bob is not green. Bob is red. Bob is white. Bob is young. If something is quiet then it is white.
Bob is not nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule1))] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is not green.[(triple9)] Bob is red.[(triple10)] Bob is white.[(triple11)] Bob is young.[(triple12)]