The bear eats the tiger. The bear is cold. The bear is rough. The bear likes the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is big. The tiger is cold. The tiger is round. The tiger likes the bear. If the tiger likes the bear then the bear is round. If someone chases the bear then they are cold. Round people are kind.
The bear is not kind.
@0: The bear eats the tiger.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear likes the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is big.[(triple7)] The tiger is cold.[(triple8 OR ((triple5) -> rule2))] The tiger is round.[(triple9)] The tiger likes the bear.[(triple10)] @1: The bear is round.[(((triple10) -> rule1))] The tiger is kind.[(((triple9) -> rule3))] @2: The bear is kind.[(((((triple10) -> rule1)) -> rule3))]