Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is young. Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is young. Harry is nice. Harry is quiet. If Bob is green and Bob is big then Bob is quiet. Nice people are red. All red, blue people are big.
Harry is green.
@0: Anne is big.[(triple1 OR ((triple6 triple2) -> rule3) OR ((((triple4) -> rule2) triple2) -> rule3))] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple4) -> rule2))] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is green.[(triple9)] Bob is nice.[(triple10)] Bob is quiet.[(triple11 OR ((triple9 triple8) -> rule1))] Bob is red.[(triple12 OR ((triple10) -> rule2))] Bob is young.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] @1: Harry is red.[(((triple14) -> rule2))]