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