Anne is big. Anne is smart. Anne is white. Bob is blue. Bob is red. Bob is not smart. Bob is white. Dave is red. Harry is not big. Harry is blue. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. All white people are blue.
Harry is big.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple7) -> rule1))] Bob is not smart.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)] Dave is red.[(triple8)] Harry is blue.[(triple10 OR ((triple14) -> rule1))] Harry is not big.[(triple9)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Anne is blue.[(((triple3) -> rule1))]