Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Harry is green. Harry is kind. Harry is rough. Harry is smart. All nice people are young. If Bob is rough and Bob is kind then Bob is cold. If someone is nice then they are cold.
Bob is not young.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule3) OR ((triple5 triple3) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Bob is young.[(((triple4) -> rule1))]