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