The bear likes the tiger. The bear visits the cow. The cow is blue. The cow likes the bear. The cow likes the tiger. The cow needs the bear. The cow visits the tiger. The rabbit is rough. The rabbit likes the bear. The rabbit likes the tiger. The rabbit needs the bear. The rabbit visits the tiger. The tiger is kind. The tiger likes the bear. The tiger likes the cow. The tiger needs the bear. If someone likes the cow and they visit the cow then they like the bear. If someone likes the bear then they are nice. If someone visits the cow and the cow visits the tiger then they like the cow.
The tiger is nice.
@0: The bear likes the tiger.[(triple1)] The bear visits the cow.[(triple2)] The cow is blue.[(triple3)] The cow likes the bear.[(triple4)] The cow likes the tiger.[(triple5)] The cow needs the bear.[(triple6)] The cow visits the tiger.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the tiger.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit visits the tiger.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the cow.[(triple15)] The tiger needs the bear.[(triple16)] @1: The bear likes the cow.[(((triple2 triple7) -> rule3))] The cow is nice.[(((triple4) -> rule2))] The rabbit is nice.[(((triple9) -> rule2))] The tiger is nice.[(((triple14) -> rule2))] @2: The bear likes the bear.[(((((triple2 triple7) -> rule3) triple2) -> rule1))] @3: The bear is nice.[(((((((triple2 triple7) -> rule3) triple2) -> rule1)) -> rule2))]