The bear is big. The bear is blue. The bear is kind. The bear is rough. The bear is round. Rough things are kind. If something is kind then it is rough. Round, kind things are rough. If the bear is round then the bear is big. If something is round and not kind then it is big. If something is kind then it is big.
The bear does not see the bear.
@0: The bear is big.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule6))] The bear is blue.[(triple2)] The bear is kind.[(triple3 OR ((triple4) -> rule1))] The bear is rough.[(triple4 OR ((triple3) -> rule2) OR ((triple5 triple3) -> rule3))] The bear is round.[(triple5)]