Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is young. Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is young. If Bob is big and Bob is nice then Bob is blue. Big, blue things are young. Kind, nice things are red.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple3 triple4) -> rule3))] Anne is rough.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple2) -> rule2))] Bob is big.[(triple8)] Bob is blue.[(triple9 OR ((triple8 triple11) -> rule1))] Bob is kind.[(triple10)] Bob is nice.[(triple11)] Bob is red.[(triple12 OR ((triple10 triple11) -> rule3))] Bob is rough.[(triple13)] Bob is young.[(triple14 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple8 triple11) -> rule1)) -> rule2))]