Bob is blue. Bob is nice. Harry is big. If someone is blue and cold then they are young. If someone is blue then they are cold. If someone is white and cold then they are nice. Young people are nice. All white, nice people are rough. If someone is young then they are rough.
Harry is not cold.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4))] Harry is big.[(triple3)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is young.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Bob is rough.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6))]