The bear is rough. The bear needs the cat. The bear visits the lion. The cat is rough. The cat likes the lion. The cat needs the bear. The cat needs the lion. The cat visits the bear. The cat visits the lion. The lion likes the bear. The lion likes the cat. The lion visits the bear. If someone likes the bear and the bear visits the lion then they are red. If someone is rough and they like the bear then the bear needs the cat. If someone visits the bear and they like the cat then they visit the lion. If someone visits the lion and they need the cat then they like the bear. If someone is rough and they visit the lion then the lion needs the bear. Red people are big.
The bear likes the bear.
@0: The bear is rough.[(triple1)] The bear needs the cat.[(triple2)] The bear visits the lion.[(triple3)] The cat is rough.[(triple4)] The cat likes the lion.[(triple5)] The cat needs the bear.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the bear.[(triple8)] The cat visits the lion.[(triple9)] The lion likes the bear.[(triple10)] The lion likes the cat.[(triple11)] The lion visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple3 triple2) -> rule4))] The lion is red.[(((triple10 triple3) -> rule1))] The lion needs the bear.[(((triple1 triple3) -> rule5) OR ((triple4 triple9) -> rule5))] The lion visits the lion.[(((triple12 triple11) -> rule3))] @2: The bear is red.[(((((triple3 triple2) -> rule4) triple3) -> rule1))] The lion is big.[(((((triple10 triple3) -> rule1)) -> rule6))] @3: The bear is big.[(((((((triple3 triple2) -> rule4) triple3) -> rule1)) -> rule6))]