Bob is big. Harry is cold. Harry is green. Red, kind people are cold. All cold people are nice. If someone is kind then they are red. Kind people are red. Big people are kind. If someone is green then they are cold.
Harry is smart.
@0: Bob is big.[(triple1)] Harry is cold.[(triple2 OR ((triple3) -> rule6))] Harry is green.[(triple3)] @1: Bob is kind.[(((triple1) -> rule5))] Harry is nice.[(((triple2) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] @2: Bob is red.[(((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule5)) -> rule4))] @3: Bob is cold.[(((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))] @4: Bob is nice.[(((((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1)) -> rule2))]