Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is smart. Bob is big. Erin is big. Erin is kind. Erin is nice. Erin is rough. Erin is white. Harry is big. Harry is red. Harry is smart. Harry is white. If someone is rough and nice then they are big. All white people are rough. If Anne is smart and Anne is kind then Anne is red.
Harry is not rough.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple2) -> rule3))] Anne is smart.[(triple5)] Bob is big.[(triple6)] Erin is big.[(triple7 OR ((triple10 triple9) -> rule1) OR ((((triple11) -> rule2) triple9) -> rule1))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10 OR ((triple11) -> rule2))] Erin is white.[(triple11)] Harry is big.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Harry is rough.[(((triple15) -> rule2))]