Bob is red. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Harry is big. Harry is cold. Harry is green. Harry is rough. Harry is young. All rough things are big. If something is rough then it is nice. If Harry is young then Harry is green. Big things are young. If Harry is big then Harry is young. If Bob is nice and Bob is red then Bob is rough.
Charlie is not young.
@0: Bob is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple5) -> rule2))] Charlie is rough.[(triple5)] Harry is big.[(triple6 OR ((triple9) -> rule1))] Harry is cold.[(triple7)] Harry is green.[(triple8 OR ((triple10) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple9) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9) -> rule1)) -> rule5)) -> rule3))] Harry is rough.[(triple9)] Harry is young.[(triple10 OR ((triple6) -> rule4) OR ((triple6) -> rule5) OR ((((triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule1)) -> rule5))] @1: Charlie is big.[(((triple5) -> rule1))] Harry is nice.[(((triple9) -> rule2))] @2: Charlie is young.[(((((triple5) -> rule1)) -> rule4))]