Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is smart. All red people are quiet. All smart, green people are kind.
Anne is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple7 triple2) -> rule2))] Anne is quiet.[(triple4 OR ((triple5) -> rule1))] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple14 triple9) -> rule2))] Harry is quiet.[(triple11 OR ((triple12) -> rule1))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)]