Anne is big. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is big. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is red. Charlie is rough. Harry is green. Harry is red. Harry is young. Big things are red. If something is smart then it is rough.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule1))] Anne is rough.[(triple4 OR ((triple5) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is red.[(triple8 OR ((triple7) -> rule1))] Bob is rough.[(triple9 OR ((triple10) -> rule2))] Bob is smart.[(triple10)] Bob is white.[(triple11)] Charlie is red.[(triple12)] Charlie is rough.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)]