The bear is blue. If someone is blue then they are green. Big, kind people are green. All green people are rough. If someone is big and blue then they are kind. If the bear is green and the bear is rough then the bear is big. If someone is green and blue then they are rough.
The bear is not big.
@0: The bear is blue.[(triple1)] @1: The bear is green.[(((triple1) -> rule1))] @2: The bear is rough.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule6))] @3: The bear is big.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5))] @4: The bear is kind.[(((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule5) triple1) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5) triple1) -> rule4))]