The bear is big. The bear is cold. The bear is green. The bear is kind. The bear is rough. Cold, kind things are green. All green, rough things are big. If something is kind then it is rough. Big, green things are rough. If something is rough then it is green. All kind, big things are green.
The bear sees the bear.
@0: The bear is big.[(triple1 OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule3)) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((((triple2 triple4) -> rule1) triple5) -> rule2) OR ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule1) ((triple4) -> rule3)) -> rule2) OR ((((((triple4) -> rule3)) -> rule5) triple5) -> rule2) OR ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule2))] The bear is cold.[(triple2)] The bear is green.[(triple3 OR ((triple5) -> rule5) OR ((triple2 triple4) -> rule1) OR ((triple4 triple1) -> rule6) OR ((((triple4) -> rule3)) -> rule5))] The bear is kind.[(triple4)] The bear is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple4) -> rule1)) -> rule4) OR ((triple1 ((triple4 triple1) -> rule6)) -> rule4))]